[2]
Ait Wakrime, A., Ben Ayed, R., Collart-Dutilleul, S., Ledru, Y., Idani, A., 2018. Formalizing railway signaling system ERTMS/ETCS using UML/Event-B. In: Model and Data Engineering (8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018), 321–330.
[3]
Arcaini, P., Ježek, P., Kofroň, J., 2018. Modelling the hybrid ERTMS/ETCS Level 3 case study in Spin. In: Abstract State Machines, Alloy, B, TLA, VDM, and Z (6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018), 277–291.
[13]
Boudi, Z., Wakrime, A.A., Collart-Dutilleul, S., Haloua, M., 2019. Introducing B-sequenced petri nets as a CPN sub-class for safe train control. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering. Heraklion, Crete, Greece. SCITEPRESS-Science and Technology Publications, 350–358.
[15]
Chiappini, A., Cimatti, A., Macchi, L., Rebollo, O., Roveri, M., Susi, A., et al., 2010. Formalization and validation of a subset of the European Train Control System. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. Cape Town, South Africa. New York: ACM, 109–118.
[19]
Dachwald, R., Kupfer, L., Ptok, B., 2001. Concept for Combining ETCS Levels 2 and 3. In: Proceedings of the World Congress of Railway Research WCRR.
[26]
EEIG ERTMS Users Group, 2020. Hybrid ERTMS/ETCS Level 3: Principles. Brussels, Belgium.
[28]
Fischer, T., Dghyam, D., 2019. Formal model validation through acceptance tests. In: International Conference on Reliability, Safety, and Security of Railway Systems – Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Cham: Springer International Publishing, 159–169.
[29]
Flammini, F., Marrone, S., Nardone, R., Petrillo, A., Santini, S., Vittorini, V., 2019. Towards railway virtual coupling. In: 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC). Nottingham, UK: IEEE, 1–6.
[31]
Furness, N., Houten, H. van, Arenas, L., & Bartholomeus, M., 2017. ERTMS Level 3: The Game-Changer. Institution of Railway Signal Engineers, 232, 1–9.
[32]
Gaspari, P., Riccobene, E., Gargantini, A., 2019. A formal design of the hybrid European rail traffic management system. In: Proceedings of the 13th European Conference on Software Architecture-Volume 2. New York: ACM, 156–162.
[37]
Jansen, J.M., 2019. ERTMS/ETCS Hybrid Level 3, a simulation-based impact assessment for the Dutch railway network. M.S. Dissertation. Delft University of Technology.
[42]
Lindström, G., 2012. Is GSM-R the limiting factor for the ERTMS system capacity? M.S. Dissertation. TH Royal Institute of Technology.
[43]
Liu, R., Ye, H., Whiteing, T., 2015. Dynamic Simulation for Real Time Operations of ERTMS Level 3. http://www.its.leeds.ac.uk/fileadmin/documents/research/F2-DITTODeliverable31Milestone6.pdf
[44]
Liu, R., 2016. Simulation model of speed control for the moving-block systems under ERTMS Level 3. In: 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT). Birmingham, UK: IEEE, 322–327.
[47]
Marais, J., Hmida, R., Flancquart, A., Sabina, S., Ciaffi, M., 2018. Video-based classification of railway track areas for GNSS-based virtual balise solutions in the ERSAT GGC project. In: Proceedings of the 2018 International Technical Meeting of The Institute of Navigation, ITM. Reston, Virginia, 196–205.
[48]
Neri, A., Rispoli, F., Salvatori, P., 2015. A GNSS based solution for supporting virtual block operations in train control systems. In: 2015 International Association of Institutes of Navigation World Congress (IAIN). Prague, Czech Republic: IEEE, 1–6.
[49]
Neri, A., Rispoli, F., Salvatori, P., Vegni, A.M., 2014. A train integrity solution based on GNSS double-difference approach. In: 27th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS, 34–50.
[52]
Pachl, J., 2020. Railway Signalling Principles. Technische Universität Braunschweig: 1–83. https://www.researchgate.net/publication/341277248_Railway_Signalling_Principles
[54]
Quaglietta, E., 2019. Analysis of platooning train operations under V2V communication-based signaling: Fundamental modelling and capacity impacts of virtual coupling. In: Proceedings of the 98th Transportation Research Board Annual Meeting (TRB). Washington, DC, USA: 1–17.
[56]
Ranjbar, V., 2021. Challenges for ERTMS related to implementation, technology and railway capacity. Ph.D. dissertation, KTH Royal Institute of Technology.
[57]
Ruscelli, A.L., Cecchetti, G., Sgambelluri, A., Cugini, F., Giorgetti, A., Paolucci, F., Fichera, S., Castoldi, P., 2017. Wireless communications in railway systems. In: the Seventh International Conference on Mobile Services, Resources, and Users. New York: Association for Computing Machinery.
[58]
Sassi, I., El-Koursi, E.M., 2019. On-board train integrity: Safety requirements analysis. In: Proceedings of the 29th European Safety and Reliability Conference (ESREL). Singapore: Research Publishing Services, 2961–2968.
[59]
Schön, S., Streitzig, C., 2013. Additional methods to detect train integrity under ETCS level 3 and the effects on capacity and control of movement. In: EURO – ZEL 2013, 21st International Symposium, 202–207.
[62]
Valentinovič, L., Sivilevičius, H., 2017. Development of the train traffic regulation method for "rail baltica" line based on the implementation of the European train traffic control systems. In: “Environmental Engineering” 10th International Conference, enviro.2017.154.
[63]
Vergroesen, R., 2020. ERTMS/ETCS Hybrid Level 3 and ATO: A simulation based capacity impact study for the Dutch railway network. M.S. Dissertation. Delft University of Technology.
[64]
Wille, R., Peham, T., Przigoda, J., Przigoda, N., 2021. Towards automatic design and verification for level 3 of the European train control system. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble, France: IEEE, 974–979.