@inproceedings{CM05ATIO,
    author = "V\'{\i}ctor Carre{\~{n}}o and C{\'{e}}sar 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",
    number = {AIAA-2005-7423},
    address="Arlington, Virginia",
    year = "2005"
}