The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. - Pasquale di Tommaso; Francesco Flammini; Armando Lazzaro; Raffaele Pellecchia; Angela Sanseviero (HASE, 2005)

UML Based Reverse Engineering for the Verification of Railway Control Logics. - Chiara Abbaneo; Francesco Flammini; Armando Lazzaro; Pietro Marmo; Nicola Mazzocca; Angela Sanseviero (DepCoS-RELCOMEX, 2006)

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)