A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. - Stefano Bacherini; Alessandro Fantechi; Matteo Tempestini; Niccolò Zingoni (FM, 2006)

The Metrô Rio ATP Case Study. - Alessio Ferrari 001; Daniele Grasso; Gianluca Magnani; Alessandro Fantechi; Matteo Tempestini (FMICS, 2010)

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. - Alessio Ferrari 001; Gianluca Magnani; Daniele Grasso; Alessandro Fantechi; Matteo Tempestini (Int. J. Embed. Real Time Commun. Syst., 2011)

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)

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)

The Metrô Rio case study. - Alessio Ferrari 001; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini (Sci. Comput. Program., 2013)

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