@article{Jiang1, author = {Jiang, Zhihao, Pajic, Miroslav, Connolly, Allison T., Dixit, Sanjay, Mangharam, Rahul}, title = {Real-time Heart Model for Implantable Cardiac Device Validation and Verification}, year = {2010}, journal = {IEEE ECRTS'10}, keywords = {Real-time systems, medical devices, validation, verification, closed-loop control, Biomedical devices and instrumentation, Computer Engineering, Computer Sciences, Electrical and Computer Engineering, Physiology}, }