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