Lavrukhin, O. V. .; Myronets, S. R.; Bohomolov, V. A. Improvement of Train Traffic Control Technology Based on Abstract Modelling of Operational Processes   . STP 2022, 25-32.