Paoletti, N., Patanè, A., & Kwiatkowska, M. (2017). Closed-loop quantitative verification of rate-adaptive pacemakers. Acm Transactions On Cyber-Physical Systems, To Appear.
