@techreport{MBMD09NASA,
  author =       "Jeffrey Maddalon and Ricky Butler and C{\'{e}}sar Mu{\~{n}}oz and 
Gilles Dowek",
  title =        "Mathematical Basis for the Safety Analysis of Conflict Prevention 
Algorithms",
  institution =  "NASA",
  month = "June",
  year =         "2009",
  type =         "Technical Memorandum",
  number =       "NASA/TM-2009-215768",
  address =      "Langley Research Center, Hampton VA 23681-2199, USA"}