@inproceedings{CMSS09INFOTECH,
  author	= "Erin Connors and C{\'{e}}sar Mu{\~{n}}oz and Cameron Schnur and Radu Siminiceanu",
  title		= "Static Verification of Spacecraft Procedures",
  booktitle	= "Proceedings of the AIAA Infotech@Aerospace Conference 2009, AIAA 2009-2033",
  address       = "Seattle, Washington",
  month		= "April",
  year		= 2009
}