@INPROCEEDINGS{Mukherjee&00,
  KEY           = "Mukherjee\&00",
  AUTHOR        = "Paul Mukherjee and Fabien Bousquet and J\'{e}r\^{o}me Delabre and 
                   Stephen Paynter and Peter Gorm Larsen",
  EDITOR        = "J.C. Bicarregui and J.S. Fitzgerald",
  TITLE         = "{Exploring Timing Properties Using VDM++ on an Industrial 
                    Application}",
  BOOKTITLE     = "Proceedings of the Second VDM Workshop",
  YEAR          = "2000",
  MONTH         = "September",
  NOTE          = "{Available at www.vdmportal.org}",
  ANNOTE        = "",
  COMMENT       = "We have the soft copy PGL"}