1. Schön, W., Larraufie, G., Moëns, G., Poré, J.: Railway Signalling and Automation. Work in Three Volumes. La Vie du Rail, Paris (2013)
2. European Economic Interest Group: Hybrid ERTMS/ETCS Level 3: Principles, Brussels, Belgium, July 2017
3. Abrial, J.R., Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (2005)
4. Lecture Notes in Computer Science;P Behm,1999
5. Lecomte, T., Servat, T., Pouzancre, G., et al.: Formal methods in safety-critical railway systems. In: 10th Brasilian Symposium on Formal Methods, pp. 29–31 (2007)