1. Sandler, K., Ohrstrom, L., Moy, L., McVay, R.: Killed by code: Software transparency in implantable medical devices (2010)
2. Jiang, Z., Pajic, M., Mangharam, R.: Model-based closed-loop testing of implantable pacemakers. In: 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS), pp. 131–140 (April 2011)
3. Maisel, W.H., Sweeney, M.O., Stevenson, W.G., Ellison, K.E., Epstein, L.M.: Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator generators. JAMA: The Journal of the American Medical Association 286(7), 793–799 (2001)
4. US FDA Center for Devices and Radiological Health: Medical devices; current good manufacturing practice (cgmp) final rule; quality system regulation (1996)
5. US FDA Center for Devices and Radiological Health: Guidance for the content of premarket submissions for software contained in medical devices (May 2005)