@ARTICLE{Larsen&09b,
  KEY           = "Larsen\&09",
  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Sune Wolff",
  TITLE         = "{Methods for the Developing Distributed Real-Time Systems 
                   using VDM}",
  JOURNAL       = "International Journal of Software and Informatics",
  YEAR          = "2009",
  VOLUME        = "3",
  NUMBER        = "2-3",
  YEAR          = "2009",
  MONTH         = "October"
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}