Title from cover.
Incremental development of a distributed real-time model of a cardiac pacing system using VDM by H. D. Macedo. Published by University of Newcastle upon Tyne, Computing science in 2007. Publication and catalogue information, links to buy online and reader comments.