@inproceedings{kwiatkowska2014formal,
  title={Formal modelling and validation of rate-adaptive pacemakers},
  author={Kwiatkowska, Marta and Lea-Banks, Harriet and Mereacre, Alexandru and Paoletti, Nicola},
  booktitle={Healthcare Informatics (ICHI), 2014 IEEE International Conference on},
  pages={23--32},
  year={2014},
  organization={IEEE},
  url = {http://ieeexplore.ieee.org/document/7052466/},
  doi = {10.1109/ICHI.2014.11},
  award = {Best Paper Award}
}