Jiang, Z., Abbas, H., Mosterman, P. J., & Mangharam, R. (2016). Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016. Presented at the.
