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

Formal Development for Railway Signaling Using Commercial Tools. - Alessio Ferrari 001; Alessandro Fantechi; Stefano Bacherini; Niccolò Zingoni (FMICS, 2009)

Modeling Guidelines for Code Generation in the Railway Signaling Context. - Alessio Ferrari 001; Alessandro Fantechi; Stefano Bacherini; Niccolò Zingoni (NASA Formal Methods, 2009)

Model Based Testing and Abstract Interpretation in the Railway Signaling Context. - Daniele Grasso; Alessandro Fantechi; Alessio Ferrari 001; Carlo Becheri; Stefano Bacherini (ICST, 2010)

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)

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

Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. - Benedetta Rosadini; Alessio Ferrari 001; Gloria Gori; Alessandro Fantechi; Stefania Gnesi; Iacopo Trotta; Stefano Bacherini (REFSQ, 2017)

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. - Alessio Ferrari 001; Gloria Gori; Benedetta Rosadini; Iacopo Trotta; Stefano Bacherini; Alessandro Fantechi; Stefania Gnesi (Empir. Softw. Eng., 2018)