@techreport{MBGM04NASA,
  author = "J. Maddalon and R. Butler and A. Geser and  C. Mu{\~n}oz",
  title = "Formal Verification of a Conflict Resolution and Recovery Algorithm",
  number = "NASA/TP-2004-213015",
  institution = "NASA Langley Research Center", 
  address = "NASA LaRC, Hampton VA 23681-2199, USA",
  month= "April",
  year = "2004"
}