A GUI Testability Problem: A Case Study in the Railway Signaling Domain. - Andrea Bonacchi 001; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani (QUATIC, 2012)

Formal safety proof: a real case study in a railway interlocking system. - Andrea Bonacchi 001 (ISSTA, 2013)

Validation of Railway Interlocking Systems by Formal Verification, A Case Study. - Andrea Bonacchi 001; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani (SEFM Workshops, 2013)

On the Validation of an Interlocking System by Model-Checking. - Andrea Bonacchi 001; Alessandro Fantechi (FMICS, 2014)

Validation of Interlocking Systems by Testing their Models. - Andrea Bonacchi 001; Alessandro Fantechi (QUATIC, 2014)

Review of the validation process for critical software applications in railway signalling. - Andrea Bonacchi 001 (2015)

Validation process for railway interlocking systems. - Andrea Bonacchi 001; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini (Sci. Comput. Program., 2016)