@InProceedings{,
  author = 	 {K. Havelund, M. Lowry and J. Penix.},
  title = 	 {Formal Analysis of a Space Craft Controller using Spin},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1998},
}