1. S. Bacherini, S. Bianchi, L. Capecchi, A. Felleca, A. Fantechi, E. Spinicci, Modelling a railway signalling system using SDL, Symposium on Formal Methods for Railway Operation and Control Systems, (FORMS 2003), Budapest, Hungary, 15-16 May 2003
2. J. Berger, P. Middelraad, and A.J. Smith. EURIS, The European railway interlocking specification. UIC, Commission 7A/16, 1992. In IRSE Proceedings 1992/93, pages 70–82, 1993
3. Formal Verification of a Railway Interlocking System using Model Checking;Cimatti,1998
4. P.E. Debarbieri, F. Valdambrini, E. Antonelli. A.C.E.I. Telecomandati per linee a semplice binario, schemi I-0/19. CIFI Collana di testi per la preparazione agli esami di abilitazione, Quaderno 12, 1987
5. European Committee for Electrotechnical Standardization, 2001, EN 50128, Railway applications Communications, signaling and processing systems Software for railway control and protection systems