César Muñoz, Victor Carreño, Gilles Dowek. Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 306-325, Springer, 2006. [doi]
Abstract is missing.