1. Lecture Notes in Computer Science;D Basile,2016
2. Bernardeschi, C., Fantechi, A., Gnesi, S., Larosa, S., Mongardi, G., Romano, D.: A formal verification environment for railway signaling system design. Formal Methods Syst. Des. 12(2), 139–161 (1998)
3. Lecture Notes in Computer Science;A Bonacchi,2014
4. Da Silva, C., Dehbonei, B., Mejia, F.: Formal specification in the development of industrial applications: subway speed control system. In: Proceedings 5th IFIP Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 1992), Perros-Guirec, pp. 199–213. North-Holland (1993)
5. Lecture Notes in Computer Science;A Fantechi,2016