1. Survey of Performance Evaluation Standardization and Research Methods on GNSS-Based Localization for Railways;Baigen;Chinese Journal of Electronics,2020
2. Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego;Basile,2020
3. Commission Regulation (EU) 2016/919 (2016). Technical Specification for Interoperability relating to the Control-Command and Signalling subsystems of the rail system in the European Union.
4. Uppaal SMC tutorial;David;International Journal on Software Tools for Technology Transfer,2015
5. EEIG ERTMS Users Group (2018). Hybrid ERTMS/ETCS Level 3.