Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM — latest news, discussion & facts — IJR