@article{PPK18,
    title={Closed-loop quantitative verification of rate-adaptive pacemakers},
    author={Paoletti, Nicola and Patan\`e, Andrea and Kwiatkowska, Marta},
    journal={ACM Transactions on Cyber-Physical Systems},
    year={to appear 2018},
}