1. Hardware-in-the-loop testing of vehicle dynamics controllers – a technical survey;Schuette,2005
2. Implants for surgery - active implantable medical devices - part 1: General requirements for safety, marking and for information to be provided by the manufacturer; german version EN 45502-1:2015,2016
3. Cyber–physical modeling of implantable cardiac medical devices;Zhihao Jiang;Proc. IEEE,2012
4. Closed-loop verification of medical devices with model abstraction and refinement;Jiang;Int. J. Softw. Tools Technol. Transfer,2014
5. Real-time heart model for implantable cardiac device validation and verification;Jiang,2010