1. A. Chiappini, A. Cimatti, F. Giunchiglia, G. Rotondo, R. Sebastiani, P. Traverso, and A. Villafiorita. Formal Specification of the Radio Block Centre (RBC): First Part. RBC I: Ansaldo-IRST Project Report, December 1998.
2. EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. Scenarios.
3. EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. System Requirements Specification.
4. David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3):231–274, June 1987.
5. ITU-T. CCITT specification and description language (SDL), March 1993. ITU-T Recommendation Z.100.