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