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)

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)