@InProceedings{BKM+15a,
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},
booktitle={13th International Conference on Computational Methods in Systems Biology (CMSB 2015)},
year={2015},
pages={3--7},
publisher={Springer},
series={LNCS},
volume={9308}
}