Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. - Shilpa Sarode; Sriram Radhakrishnan; Varun Sampath; Zhihao Jiang; Miroslav Pajic; Rahul Mangharam (ICCPS, 2012)