@inproceedings{DMP07ICAPSW,
  author	= "G. Dowek and  C. Mu{\~{n}}oz and P\u{a}s\u{a}reanu",
  title		= "A Formal Analysis Framework for {PLEXIL}",
  booktitle	= "Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems",
  month		= "September",
  year		= 2007
}