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)