“МОДЕЛИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ ДЛЯ ФОРМАЛИЗАЦИИ ЗАДАЧ ПРОЕКТИРОВАНИЯ И АВТОМАТИЗАЦИИ РАЗРАБОТКИ ЖЕЛЕЗНОДОРОЖНЫХ СТАНЦИЙ”, Промышленный Транспорт Казахстан, vol. 22, no. 4, pp. 81–102, Dec. 2025, doi: 10.58420/hrev3615.