1. EC. (2012, 01 25). 2012/88/EU. Commission decision of 25 January 2012 on the technical specification for interoperability relating to the control-command and signalling subsystems of the trans-European rail system. Brussels, Belgium: TSI CCS.
2. ISO. (03 2012). EN 50128. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems.
3. Meyer zu Hörste, M. (2004). Methodische Analyse and generische Modellierung von Eisenbahnleit- und –sicherungssystemen [Dissertation]. VDI Fortschritt Berichte, Dusseldorf, Germany. (In German).
4. Meyer zu Hörste, M., Jaschke, K., & Lemmer, K. (2003). A test facility for ERTMS/ETCS conformity. In E. Schnieder, & G. Tarnai (Eds.), FORMS 2003.