{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T17:01:22Z","timestamp":1751302882627,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390876"},{"type":"electronic","value":"9783642390883"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39088-3_10","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:26:20Z","timestamp":1370309180000},"page":"151-166","source":"Crossref","is-referenced-by-count":9,"title":["Closed-Loop Modeling of Cardiac Pacemaker and Heart"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Sandler, K., Ohrstrom, L., Moy, L., McVay, R.: Killed by code: Software transparency in implantable medical devices (2010)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Jiang, Z., Pajic, M., Mangharam, R.: Model-based closed-loop testing of implantable pacemakers. In: 2011 IEEE\/ACM International Conference on Cyber-Physical Systems (ICCPS), pp. 131\u2013140 (April 2011)","DOI":"10.1109\/ICCPS.2011.28"},{"issue":"7","key":"10_CR3","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1001\/jama.286.7.793","volume":"286","author":"W.H. Maisel","year":"2001","unstructured":"Maisel, W.H., Sweeney, M.O., Stevenson, W.G., Ellison, K.E., Epstein, L.M.: Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator generators. JAMA: The Journal of the American Medical Association\u00a0286(7), 793\u2013799 (2001)","journal-title":"JAMA: The Journal of the American Medical Association"},{"key":"10_CR4","unstructured":"US FDA Center for Devices and Radiological Health: Medical devices; current good manufacturing practice (cgmp) final rule; quality system regulation (1996)"},{"key":"10_CR5","unstructured":"US FDA Center for Devices and Radiological Health: Guidance for the content of premarket submissions for software contained in medical devices (May 2005)"},{"key":"10_CR6","unstructured":"Center for Devices and Radiological Health: Safety of Marketed Med. Devices, FDA (2006)"},{"key":"10_CR7","unstructured":"A Reseach and Development Needs Report by NITRD: High-Confidence Medical Devices : Cyber-Physical Systems for 21st Century Health Care, \n                    http:\/\/www.nitrd.gov\/About\/MedDevice-FINAL1-web.pdf"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/105294100277723","volume":"7","author":"K.L. Keatley","year":"1999","unstructured":"Keatley, K.L.: A review of the fda draft guidance document for software validation: guidance for industry. Qual. Assur.\u00a07(1), 49\u201355 (1999)","journal-title":"Qual. Assur."},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"I. Lee","year":"2006","unstructured":"Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.: High-confidence medical device software and systems. Computer\u00a039(4), 33\u201338 (2006)","journal-title":"Computer"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-642-16561-0_31","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"D. M\u00e9ry","year":"2010","unstructured":"M\u00e9ry, D., Singh, N.K.: Trustable formal specification for software certification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 312\u2013326. Springer, Heidelberg (2010)"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1049\/sej.1993.0025","volume":"8","author":"J. Bowen","year":"1993","unstructured":"Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Software Engineering Journal\u00a08(4), 189\u2013209 (1993)","journal-title":"Software Engineering Journal"},{"issue":"4","key":"10_CR12","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/s10009-003-0137-2","volume":"5","author":"R.P. Jetley","year":"2004","unstructured":"Jetley, R.P., Carlos, C., Iyer, S.P.: A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. International Journal on Software Tools for Technology Transfer\u00a05(4), 320\u2013330 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MC.2006.113","volume":"39","author":"R. Jetley","year":"2006","unstructured":"Jetley, R., Purushothaman Iyer, S., Jones, P.: A formal methods approach to medical device review. Computer\u00a039(4), 61\u201367 (2006)","journal-title":"Computer"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-15654-0_3","volume-title":"Complex Systems Design & Management","author":"D. M\u00e9ry","year":"2010","unstructured":"M\u00e9ry, D., Singh, N.K.: Real-time animation for formal specification. In: Aiguier, M., Bretaudeau, F., Krob, D. (eds.) Complex Systems Design & Management, pp. 49\u201360. Springer, Heidelberg (2010)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"10_CR16","series-title":"An EATCS Series","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-74107-7_9","volume-title":"Logics of Specification Languages. Monographs in Theoretical Computer Science","author":"J.S. Fitzgerald","year":"2008","unstructured":"Fitzgerald, J.S.: The typed logic of partial functions and the vienna development method. In: Bj\u00f8rner, D., Henson, M.C. (eds.) Logics of Specification Languages. Monographs in Theoretical Computer Science. An EATCS Series, pp. 453\u2013487. Springer, Heidelberg (2008)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-21753-1_12","volume-title":"Human Centered Design","author":"R. Lieber","year":"2011","unstructured":"Lieber, R., Fass, D.: Human systems integration design: Which generalized rationale? In: Kurosu, M. (ed.) Human Centered Design, HCII 2011. LNCS, vol.\u00a06776, pp. 101\u2013109. Springer, Heidelberg (2011)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-32355-3_9","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"D. M\u00e9ry","year":"2012","unstructured":"M\u00e9ry, D., Singh, N.K.: Formalization of heart models based on the conduction of electrical impulses and cellular automata. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol.\u00a07151, pp. 140\u2013159. Springer, Heidelberg (2012)"},{"key":"10_CR19","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195058239.001.0001","volume-title":"Bioelectromagnetism : Principles and Applications of Bioelectric and Biomagnetic Fields","author":"J. Malmivuo","year":"1995","unstructured":"Malmivuo, J., Plonsey, R.: Bioelectromagnetism: Principles and Applications of Bioelectric and Biomagnetic Fields, 1st edn. Oxford University Press, USA (1995) ISBN 0-19-505823-2","edition":"1"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Khan, M.G.: Rapid ECG Interpretation. Humana Press (2008)","DOI":"10.1007\/978-1-59745-408-7"},{"key":"10_CR21","unstructured":"Bayes de Luna, A., Batcharov, V.N., Malik, M.: The morphology of the Electrocardiogram. In: John Camm, A., Lascher, T.F., Serruys, P.W. (eds.) The ESC Textbook of Cardiovascular Medicine. Blackwell Publishing Ltd. (2006)"},{"key":"10_CR22","unstructured":"Artigou, J.Y., Monsuez, J.J., Soci\u00e9t\u00e9 fran\u00e7aise de cardiologie: Cardiologie et maladies vasculaires. Elsevier Masson (2006)"},{"key":"10_CR23","unstructured":"M\u00e9ry, D., Singh, N.K.: Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata. Technical report, LORIA UMR7503 - Universit\u00e9 de Lorraine (May 2011)"},{"issue":"2","key":"10_CR24","first-page":"129","volume":"1","author":"D. M\u00e9ry","year":"2011","unstructured":"M\u00e9ry, D., Singh, N.K.: Functional behavior of a cardiac pacing system. International Journal of Discrete Event Control Systems\u00a01(2), 129\u2013149 (2011)","journal-title":"International Journal of Discrete Event Control Systems"},{"key":"10_CR25","unstructured":"Boston Scientific: Pacemaker system specification, Technical report (2007), \n                    http:\/\/www.cas.mcmaster.ca\/sqrl\/SQRLDocuments\/PACEMAKER.pdf"},{"key":"10_CR26","unstructured":"Singh, N.K.: Reliability and Safety of Critical Device Software Systems. PhD in Computer Science, Universit\u00e9 Henri Poincar\u00e9 - Nancy 1, France (November 2011), \n                    http:\/\/www.scd.uhp-nancy.fr\/docnum\/SCD_T_2011_0129_SINGH.pdf"},{"key":"10_CR27","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: Prob: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-68237-0_14","volume-title":"FM 2008: Formal Methods","author":"H.D. Macedo","year":"2008","unstructured":"Macedo, H.D., Larsen, P.G., Fitzgerald, J.: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. In: Cuellar, J., Maibaum, T. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 181\u2013197. Springer, Heidelberg (2008)"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1007\/978-3-642-05089-3_44","volume-title":"FM 2009: Formal Methods","author":"A.O. Gomes","year":"2009","unstructured":"Gomes, A.O., Oliveira, M.V.M.: Formal specification of a cardiac pacing system. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 692\u2013707. Springer, Heidelberg (2009)"},{"key":"10_CR31","unstructured":"Project RODIN: Rigorous open development environment for complex systems (2004), \n                    http:\/\/rodin-b-sharp.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39088-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T17:49:33Z","timestamp":1674496173000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39088-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390876","9783642390883"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39088-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}