Z. Jiang, M. Pajic, A. Connolly, S. Dixit, and R. Mangharam, Real-time heart model for implantable cardiac device validation and verification,[ in Proc. Euromicro Conf. Real-Time Syst., Brussels, 2010, pp. 239–248.