Macedo, Hugo Daniel and Larsen, Peter Gorm and Fitzgerald, John  (2008) Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM.  In: Formal Methods 2008, 28-30 May, 2008, Turku, Finland.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>