@inproceedings{
  Lau&Wang:07a,
  author = {K.-K. Lau and Z.  Wang},
  title = {Verified Component-based Software in {SPARK}: Experimental
           Results for a Missile Guidance System},
  booktitle = {Proc. 2007 ACM SIGAda Annual International Conference},
  pages = {51-57},
  year = {2007},
  publisher = {ACM}     }