{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:01:58Z","timestamp":1766066518684,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234007"},{"type":"electronic","value":"9783319234014"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23401-4_1","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"3-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Barbot","sequence":"first","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]},{"given":"Alexandru","family":"Mereacre","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Paoletti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Barbot, B., et al.: Estimation and verification of hybrid heart models for personalised medical and wearable devices. Technical report, Department of Computer Science, University of Oxford (2015)","DOI":"10.1007\/978-3-319-23401-4_1"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Barker, C. et al.: Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. In: IEEE EMBC (2015) (to appear)","DOI":"10.1109\/EMBC.2015.7320050"},{"key":"1_CR3","unstructured":"Boston Scientific: Pacemaker system specification (2007). http:\/\/sqrl.mcmaster.ca\/_SQRLDocuments\/PACEMAKER.pdf"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.ic.2014.01.014","volume":"236","author":"T Chen","year":"2014","unstructured":"Chen, T., et al.: Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236, 87\u2013101 (2014)","journal-title":"Inf. Comput."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Diciolla, M., et al.: Synthesising optimal timing delays for timed I\/O automata. In: EMSOFT 2014. ACM (2014)","DOI":"10.1145\/2656045.2656073"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., et al.: Formal modelling and validation of rate-adaptive pacemakers. In: ICHI 2014, pp. 23\u201332. IEEE (2014)","DOI":"10.1109\/ICHI.2014.11"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-662-45231-8_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M Kwiatkowska","year":"2014","unstructured":"Kwiatkowska, M., Mereacre, A., Paoletti, N.: On quantitative software quality assurance methodologies for cardiac pacemakers. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 365\u2013384. Springer, Heidelberg (2014)"},{"key":"1_CR8","first-page":"4","volume":"3","author":"J Lian","year":"2010","unstructured":"Lian, J., et al.: Open source modeling of heart rhythm and cardiac pacing. Open Pacing Electrophysiol. Ther. J. 3, 4 (2010)","journal-title":"Open Pacing Electrophysiol. Ther. J."},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.4236\/jis.2012.31005","volume":"3","author":"YN Singh","year":"2012","unstructured":"Singh, Y.N., Singh, S.K.: Evaluation of electrocardiogram for biometric authentication. J. Inf. Secur. 3, 39\u201348 (2012)","journal-title":"J. Inf. Secur."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23401-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T00:00:46Z","timestamp":1674259246000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}