Formal verification and validation of ERTMS industrial railway train spacing system (2012)

by A Cimatti, R Corvino, A Lazzaro, I Narasamdya, T Rizzo, M Roveri, A Sanseviero, A Tchaltsev