@InProceedings{KPP17,
author={M. Kwiatkowska, N. Paoletti, A. Patane},
title={Closed-loop quantitative verification of rate-adaptive pacemakers},
booktitle={Proc. Oxford Computer Science Conference, 2017},
year={2017},
pages={},
organization={},
publisher={},
series={},
volume={},
ISBN={},
address={},
month={},
doi={}
note={Winner of Best Poster Award.}
}