Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti: Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB 2015: 3-7