@inproceedings{MCD06,
        author = "C{\'e}sar Mu{\~{n}}oz and V{\'\i}ctor Carre{\~n}o and Gilles Dowek",
        title = "Formal Analysis of the Operational Concept for the {S}mall 
        {A}ircraft {T}ransportation {S}ystem",
        booktitle = "Rigorous Engineering of Fault-Tolerant Systems",
        series="Lecture Notes in Computer Science",
        volume = {4157},
        pages="306-325",
        year = "2006"
}