@article{paoletti_tcps2017,
  title={Closed-loop quantitative verification of rate-adaptive pacemakers},
  author={Nicola Paoletti and Andrea Patan\`{e} and Marta Kwiatkowska},
  journal={ACM Transactions on Cyber-Physical Systems},
  year={2018},
  volume = {2},
  issue = {4},
  publisher={ACM},
  url = {https://dl.acm.org/citation.cfm?id=3152767},
  doi = {10.1145/3152767}
}