1. C. Li, L. Zhang, Train control system modeling and design based on AADL, in: 2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS), 2015.
2. Safety Theory and Control Technology of High-speed Train Operation;Wang,2017
3. High-speed railways in Germany;Ebeling;Jpn. Railw. Transp. Rev,2005
4. S. Dhahbi, A. Abbas-Turki, S. Hayat, et al., Study of the high-speed trains positioning system: European signaling system ERTMS/ETCS, in: 2011 4th International Conference on Logistics, 2011, pp. 468–473.
5. Verification of cyberphysical transportation systems;Platzer;IEEE Intell. Syst,2009