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)

Formalization and validation of a subset of the European Train Control System. - Angelo Chiappini; Alessandro Cimatti; Luca Macchi; Oscar Rebollo; Marco Roveri; Angelo Susi; Stefano Tonetta; Berardino Vittorini (ICSE (2), 2010)