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)