@inproceedings{BHMMN12,
        author = "Ricky Butler and George Hagen and Jeffrey Maddalon and C{\'e}sar Mu{\~{n}}oz and Anthony Narkawicz",
        title = "The search for effective algorithms for recovery from loss of separation",
        booktitle = "Proceedings of the 31st Digital Avionics Systems 
                     Conference (DASC 2012)",
        address = "Williamsburg, Virginia",
        month = "October",
        year = "2012"
}