Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. - Giuseppe Bonifacio; Pietro Marmo; Antonio Orazzo; Ida Petrone; Luigi Velardi; Alessio Venticinque (SAFECOMP, 2011)

Improving Verification Process in Driverless Metro Systems: The MBAT Project. - Stefano Marrone 001; Roberto Nardone; Antonio Orazzo; Ida Petrone; Luigi Velardi (ISoLA (2), 2012)

Dynamic State Machines for Formalizing Railway Control System Specifications. - Roberto Nardone; Ugo Gentile; Adriano Peron; Massimo Benerecetti; Valeria Vittorini; Stefano Marrone 001; Renato De Guglielmo; Nicola Mazzocca; Luigi Velardi (FTSCS, 2014)

An Interoperable Testing Environment for ERTMS/ETCS Control Systems. - Gregorio Barberio; Beniamino Di Martino; Nicola Mazzocca; Luigi Velardi; Aniello Amato; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Valeria Vittorini (SAFECOMP Workshops, 2014)

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Ida Petrone; Luigi Velardi (SAFECOMP Workshops, 2014)

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Luigi Velardi (SAFECOMP Workshops, 2015)

Dynamic state machines for modelling railway control systems. - Massimo Benerecetti; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Adriano Peron; Luigi Velardi; Valeria Vittorini (Sci. Comput. Program., 2017)

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. - Roberto Nardone; Stefano Marrone 001; Ugo Gentile; Aniello Amato; Gregorio Barberio; Massimo Benerecetti; Renato De Guglielmo; Beniamino Di Martino; Nicola Mazzocca; Adriano Peron; Gaetano Pisani; Luigi Velardi; et al. (J. Syst. Softw., 2020)