Show source-provided references
1. Khussanov, A., Kaldybayeva, B., Prokhorov, O., Khussanov, Z., Kenzhebekov, D., Yevadilla, M., and Janabayev, D. (2025). Agent-Based Simulation Modeling of Multimodal Transport Flows in Transportation System of Kazakhstan. Logistics, 9.
10.3390/logistics9040172 ↗2. (2025, November 11). Bureau of National Statistics Agency for Strategic Planning and Reforms of the Republic of Kazakhstan, Available online: https://stat.gov.kz/en/industries/business-statistics/stat-transport/.
3. Pachl, J. (2020). Railway Signalling Principles, Technische Universität Braunschweig. [2nd ed.].
4. Stanley, P., Hagelin, G., Heijnen, F., Löfstedt, K., Pore, J., Suwe, K.-H., and Zoetard, P. (2011). ETCS for Engineers, Eurail Press. [1st ed.].
5. Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
10.1109/TITS.2025.3530112 ↗6. Relative Capacity and Performance of Fixed- and Moving-Block Control Systems on North American Freight Railway Lines and Shared Passenger Corridors
10.1177/0361198119841852 ↗7. Comparing the Efficiency and Effectiveness of Different Train-Following Control Algorithms for Fleets of Heavy-Haul Freight Trains under Moving Blocks
10.1177/03611981221099917 ↗8. Steuer, M., Burdzik, R., and Piednoir, F. (2025). Implementation of Global Navigation Satellite Systems in Railway Traffic Control Systems: Overview of Navigation Systems, Application Areas, and Implementation Plans. Appl. Sci., 15.
10.3390/app15010356 ↗9. Impact of Signalling System on Capacity–Comparing Legacy ATC, ETCS Level 2 and ETCS Hybrid Level 3 Systems
10. Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3
10.1109/OJITS.2023.3267142 ↗11. Liu, R. (2016, January 23–25). Simulation Model of Speed Control for the Moving-Block Systems under ERTMS Level 3. Proceedings of the 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT), Birmingham, UK.
10.1109/ICIRT.2016.7588750 ↗12. Impact Assessment of Interlocking Systems on Single-Track Railway Lines as a Measure Leading to Resilient Railway System
13. Comparing the Effectiveness of Fixed, Virtual, and Moving Block Train Control Systems on a Mixed Single- and Double-Track U.S. Freight Rail Corridor
10.1177/03611981231158641 ↗14. Yousefi, M. (2024). Characterizing the Performance of Fixed-Block and Moving-Block Signal Systems in Urban Rail Transit: A Microscopic Simulation Approach, SSRN.
10.2139/ssrn.4985596 ↗19. Cascino, A., Meli, E., and Rindi, A. (2025). Design and Optimization of a Hybrid Railcar Structure with Multilayer Composite Panels. Materials, 18.
10.3390/ma18215013 ↗21. Laminate Design, Optimization, and Testing of an Innovative Carbon Fiber-reinforced Composite Sandwich Panel for High-speed Train
10.1002/pc.26262 ↗22. Cascino, A., Meli, E., and Rindi, A. (2026). High-Fidelity Finite Element Modelling (FEM) and Dynamic Analysis of a Hybrid Aluminium–Honeycomb Railway Vehicle Carbody. Appl. Sci., 16.
10.3390/app16010549 ↗26. Peng, J., Shangguan, W., Chai, L., Chen, J., Peng, C., and Cai, B. (2025). V2X-Enabled Platoon Control for Aperiodic Congestion Mitigation via Moving Bottlenecks in Mixed Traffic Environments. IEEE Trans. Veh. Technol., 1–13.
10.1109/TVT.2025.3649305 ↗27. Orunbekov, M., Suleimenova, G., Shukamanov, Z., Kassym, R., and Seitbekova, A. (2023). System for Interval Control of Train Traffic with Coordinate Control Method. (Patent No. 7983).
28. Wiesmeyr, C., Litzenberger, M., Waser, M., Papp, A., Garn, H., Neunteufel, G., and Döller, H. (2020). Real-Time Train Tracking from Distributed Acoustic Sensing Data. Appl. Sci., 10.
10.3390/app10020448 ↗29. Cedilnik, G., Hunt, R., and Lees, G. (2018). Advances in Train and Rail Monitoring with DAS. Proceedings of the 26th International Conference on Optical Fiber Sensors, OSA.
10.1364/OFS.2018.ThE35 ↗30. Kowarik, S., Hussels, M.-T., Chruscicki, S., Münzenberger, S., Lämmerhirt, A., Pohl, P., and Schubert, M. (2020). Fiber Optic Train Monitoring with Distributed Acoustic Sensing: Conventional and Neural Network Data Analysis. Sensors, 20.
10.3390/s20020450 ↗31. Vidovic, I., and Marschnig, S. (2020). Optical Fibres for Condition Monitoring of Railway Infrastructure—Encouraging Data Source or Errant Effort?. Appl. Sci., 10.
10.3390/app10176016 ↗32. Muñoz, F., Urricelqui, J., Soto, M.A., and Jimenez-Rodriguez, M. (2023). Finding Well-Coupled Optical Fiber Locations for Railway Monitoring Using Distributed Acoustic Sensing. Sensors, 23.
10.3390/s23146599 ↗34. Nitsch, A., Nitsch@Uni, A., Beichler, B., Beichler@Uni, B., Golatowski, F., Haubelt, C., and Haubelt@Uni, C. (2015). Model-Based Systems Engineering with Matlab/Simulink in the Railway Sector. MBMV, 125–134.
35. Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
37. Interaction of the TE33a Diesel Locomotive and the Railway Track on Curved Section with Radius 290 m
10.26552/com.C.2023.069 ↗38. (2026, February 15). Rules for the Technical Operation of Railway Transport. Available online: https://adilet.zan.kz/rus/docs/V1500011897.
39. Kochan, A., Daszczuk, W.B., Grabski, W., and Karolak, J. (2023). Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model. Energies, 16.
10.3390/en16083602 ↗41. UNISIG (2026, February 16). Subset-026, ERTMS/ETCS System Requirements Specification, Issue 4.0.0. European Union Agency for Railways, 2023. Available online: https://www.scribd.com/document/712358112/ETCS-SUBSET-026-1-v400.
42. (2017). Railway Applications–The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)–Part 1: Generic RAMS Process (Standard No. EN 50126-1:2017).
43. (2018). Railway Applications–Communication, Signalling and Processing Systems—Safety Related Electronic Systems for Signalling (Standard No. EN 50129:2018).
46. OpenTrack Railway Technology Ltd., and ETH Zurich, Institute for Transport Planning and Systems (2019). Simulation of Railway Networks (OpenTrack Manual), OpenTrack Railway Technology Ltd.
47. Grobelna, I., Gajewski, K., and Karatkevich, A. (2025). A Systematic Review on the Applications of Uppaal. Sensors, 25.
10.3390/s25113484 ↗48. Meng, Z., Tang, T., Wei, G., and Yuan, L. (2021). Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain. Electronics, 10.
10.3390/electronics10040503 ↗51. Ferrari, A., Mazzanti, F., Basile, D., Beek, M.H.T., and Fantechi, A. (July, January 27). Comparing Formal Tools for System Design: A Judgment Study. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, ACM, Seoul, South Korea.
52. Lecomte, T., Pinger, R., and Romanovsky, A. (2016, January 28–30). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Proceedings of the First International Conference, RSSRail 2016, Paris, France. Lecture Notes in Computer Science.
10.1007/978-3-319-33951-1 ↗53. Liu, Y., Jiang, D., Dai, S., and Li, Z. (2016, January 1–4). Hierarchical Modeling and Analysis of TCC Subsystem in CTCS Level 3 Using UPPAAL. Proceedings of the 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil.