@techreport{BMS07NASA,
  author =       "Ricky Butler and C\'{e}sar Mu{\~{n}}oz and Radu Siminiceanu",
  title =        "Solving the {AI} Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the {A}bstract {P}lan {P}reparation {L}anguage ({APPL}) to the {S}ymbolic {A}nalysis {L}aboratory ({SAL})",
  institution =  "NASA Langley",
  year =         "2007",
  type =         "Technical Memorandum",
  number =       "NASA/TM-2007-215089",
  month = {November},
  address =      "NASA LaRC,Hampton VA 23681-2199, USA"}