@INPROCEEDINGS{Verhoef&06b,
  KEY           = "Verhoef\&06",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman",
  EDITOR        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
  TITLE         = "{Modeling and Validating Distributed Embedded 
                    Real-Time Systems with VDM++}",
  BOOKTITLE     = "FM 2006: Formal Methods",
  PUBLISHER     = "Lecture Notes in Computer Science 4085",
  YEAR          = "2006",
  PAGES         = "147-162",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}