O. V. . Lavrukhin, S. R. Myronets, and V. A. Bohomolov, “Improvement of Train Traffic Control Technology Based on Abstract Modelling of Operational Processes   ”, STP, no. 3-4, pp. 25–32, Dec. 2022.