@inproceedings{MCD06,
        author = "C. Mu{\~{n}}oz and V. Carre{\~n}o and G. 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="LNCS",
        volume = {4157},
        pages="306-325",
        year = "2006"
}