@INPROCEEDINGS{Macedo&08,
  KEY           = "Macedo\&08",
  AUTHOR        = "Hugo Daniel Macedo and Peter Gorm Larsen and John Fitzgerald ",
  TITLE         = "{Incremental Development of a Distributed Real-Time Model 
                    of a Cardiac Pacing System using VDM}",
  BOOKTITLE     = "FM 2008: Formal Methods, 15th International Symposium on Formal Methods",
  EDITOR        = "Jorge Cuellar and Tom Maibaum and Kaisa Sere",
  YEAR          = "2008",
  PUBLISHER     = "Springer-Verlag",
  SERIES        = "Lecture Notes in Computer Science",
  VOLUME        = "5014",
  PAGES         = "181--197",
  COMMENT       = ""}