A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita. Formal Specification and Development of a Safety-Critical Train Management System. In Massimo Felici, Karama Kanoun, Alberto Pasquini, editors, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings. Volume 1698 of Lecture Notes in Computer Science, pages 410-419, Springer, 1999. [doi]
Abstract is missing.