@TechReport{BKMP_TR15,
author = {Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
title = {Estimation and Verification of Hybrid Heart Models for Personalised
Medical and Wearable Devices},
institution = {Department of Computer Science, University of Oxford},
year = {2015},
number = {CS-RR-15-05},
  url = {http://www.cs.ox.ac.uk/publications/publication9835-abstract.html},
  doi = {10.1007/978-3-319-23401-4_1}
}