@INPROCEEDINGS{Fitzgerald&07h,
  KEY           = "Fitzgerald\&07h",
  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and S. Tjell and M. Verhoef",
  TITLE         = "{Validation Support for Real-Time Embedded Systems in VDM++}",
  BOOKTITLE     = "Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium",
  EDITOR        = "Bojan Cukic and Jing Dong",
  MONTH         = "November",
  PAGES         = "331--340",
  YEAR          = "2007",
  PUBLISHER     = "{IEEE}",
  COMMENT       = "I have the source (JSF)"}