Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. - Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev (CAV, 2012)