%0 Journal Article
%B ACM Transactions on Cyber-Physical Systems, to appear
%D 2017
%G eng
%T Closed-loop quantitative verification of rate-adaptive pacemakers