2025. МОДЕЛИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ ДЛЯ ФОРМАЛИЗАЦИИ ЗАДАЧ ПРОЕКТИРОВАНИЯ И АВТОМАТИЗАЦИИ РАЗРАБОТКИ ЖЕЛЕЗНОДОРОЖНЫХ СТАНЦИЙ. Промышленный Транспорт Казахстан. 85, 4 (May 2025).