1. 50128:2011, C.E.: Railway applications communications, signalling and processing systems - software for railway control and protection systems (2011)
2. 50129:2003, C.E.: Railway applications - communications, signalling and processing systems - safety related electronic systems for signalling, February 2003
3. Lecture Notes in Computer Science;N Benaissa,2016
4. Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M.: Validation process for railway interlocking systems. Sci. Comput. Program. 128, 2–21 (2016)
5. Bonvoisin, D.: 25 years of formal methods at RATP. In: IRSC, 2–7 October 2016