Hugo Daniel Macedo Peter Gorm Larsen John S. Fitzgerald Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. 181-197 2008 FM http://dx.doi.org/10.1007/978-3-540-68237-0_14 conf/fm/2008 db/conf/fm/fm2008.html#MacedoLF08