@inproceedings{CM05ATIO,
        author = "V. Carre{\~{n}}o and C. Mu{\~{n}}oz",
        title = "Safety Verification of the {S}mall {A}ircraft {T}ransportation {S}ystem Concept of Operations",
        booktitle = "Proceedings of the AIAA 5th Aviation, Technology, Integration, and Operations Conference, AIAA-2005-7423", 
        address = "Arlington, Virginia",
        year = "2005"
}