@InProceedings{KLMP14,
author={M. Kwiatkowska, H. Lea-Banks, A. Mereacre and N. Paoletti},
title={Formal Modelling and Validation of Rate-Adaptive Pacemakers},
booktitle={Proc. IEEE International Conference on Healthcare Informatics},
year={2014},
editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={To appear.},
key={}
}