%0 Conference Paper
%K heart modeling
%K icds
%K life-critical cps
%K medical devices
%K stormed systems
%B Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
%C New York, NY, USA
%D 2016
%G eng
%I ACM
%R 10.1145/2883817.2883841
%T Towards Model Checking of Implantable Cardioverter Defibrillators
%U http://doi.acm.org/10.1145/2883817.2883841
%@ 978-1-4503-3955-1