@inproceedings{barbot2015estimation, title={Estimation and verification of hybrid heart models for personalised medical and wearable devices}, author={Barbot, Beno{\^\i}t and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola}, booktitle={Computational Methods in Systems Biology (CMSB 2015)}, pages={3--7}, year={2015}, organization={Springer}, url = {https://link.springer.com/chapter/10.1007/978-3-319-23401-4_1}, doi = {10.1007/978-3-319-23401-4_1} }