1. Meyer, R., Faber, J., Hoenicke, J., Rybalchenko, A.: Model checking duration calculus: A practical approach. FACS 20(4–5), 481–505 (2008)
2. Lecture Notes in Computer Science;W. Damm,2007
3. Lecture Notes in Computer Science;G. Batt,2007
4. Alur, R., Henzinger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Trans. Software Eng. 22(3), 181–201 (1996)
5. ERTMS User Group, UNISIG: ERTMS/ETCS System requirements specification. Version 2.2.2 (2002),
http://www.era.europa.eu