@techreport{DMC04NASA,
  author = "Gilles Dowek and C{\'e}sar Mu{\~n}oz and V{\'{\i}}ctor Carre{\~n}o",
  title = "Abstract Model of the {SATS} Concept of Operations: Initial Results 
           and Recommendations",
  number = "NASA/TM-2004-213006",
  institution = "NASA Langley Research Center", 
  address = "NASA LaRC,Hampton VA 23681-2199, USA",
  month= "March",
  year = "2004"
}