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

Model Checking Interlocking Control Tables. - Alessio Ferrari 001; Gianluca Magnani; Daniele Grasso; Alessandro Fantechi (FORMS/FORMAT, 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)

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

Model-Based Development and Formal Methods in the Railway Industry. - Alessio Ferrari 001; Alessandro Fantechi; Stefania Gnesi; Gianluca Magnani (IEEE Softw., 2013)

Formal methods and code generation techniques in the development of railway signalling systems. - Gianluca Magnani (2014)