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)