1. European Committee for Electrotechnical Standardization, CENELEC EN50128, Railway applications-Communication signalling and processing system software for railway control and protection systems
2. Simulink
$$^{\textregistered }$$
®
: Design Verifier R2012b. MathWorks (2012)
3. Simulink
$$^{\textregistered }$$
®
: User Guide R2012b. MathWorks (2012)
4. 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, 139–161 (1998)
5. LNCS;A Biere,1999