@techreport{DMC04NASA,
  author = "G. Dowek and C. Mu{\~n}oz and V. 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"
}