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)

Formal Specification and Development of a Safety-Critical Train Management System. - Angelo Chiappini; Alessandro Cimatti; Carmen Porzia; G. Rotondo; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita (SAFECOMP, 1999)