%0 Conference Paper
%B Medical Cyber Physical Systems Workshop 2016
%D 2016
%G eng
%T Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees