@techreport{BM08NASA,
  author =       "Ricky Butler and C{\'{e}}sar Mu{\~{n}}oz",
  title =        "A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation",
  institution =  "NASA",
  month = "October",
  year =         "2008",
  type =         "Technical Memorandum",
  number =       "NASA/TM-2008-215356",
  address =      "Langley Research Center, Hampton VA 23681-2199, USA"}