An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. - A. Anselmi; Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Giorgio Mongardi; Fernando Torielli (SAFECOMP, 1995)

Proving Safety Properties for Embedded Control Systems. - Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Giorgio Mongardi (EDCC, 1996)

Applying Formal Methods in Industry The UseGat Project. - Sandro Bologna; Rocco Bove; Giovanni Dipoppa; Giorgio Mongardi; Gino Biondi; Carmen Porzia; Benny Graft Mortensen; Niels Kirkegaard (SAFECOMP, 1998)

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (SAFECOMP, 1998)

Formal Verification of a Railway Interlocking System using Model Checking. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (Formal Aspects Comput., 1998)

A Formal Verification Environment for Railway Signaling System Design. - Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Giorgio Mongardi; Dario Romano (Formal Methods Syst. Des., 1998)

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. - Andrea Bondavalli; Manuela Nelli; Luca Simoncini; Giorgio Mongardi (Comput. Syst. Sci. Eng., 2001)