Hazard Analysis of Complex Distributed Railway Systems. - Pasquale di Tommaso; Rosaria Esposito; Pietro Marmo; Antonio Orazzo (SRDS, 2003)

A Hybrid Testing Methodology for Railway Control Systems. - Giuseppe De Nicola; Pasquale di Tommaso; Rosaria Esposito; Francesco Flammini; Antonio Orazzo (SAFECOMP, 2004)

A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. - Giuseppe De Nicola; Pasquale di Tommaso; Rosaria Esposito; Francesco Flammini; Pietro Marmo; Antonio Orazzo (EDCC, 2005)

Cost Prediction for V&V and Certification Processes. - Francesco Brancati; András Pataricza; Nuno Silva; Ábel Hegedüs; László Gönczy; Andrea Bondavalli; Rosaria Esposito (DSN Workshops, 2015)