{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T13:47:47Z","timestamp":1744897667806},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323546"},{"type":"electronic","value":"9783642323553"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32355-3_9","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"140-159","source":"Crossref","is-referenced-by-count":11,"title":["Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Jaakko Malmivuo, R.P.: Bioelectromagnetism. Oxford University Press (1995) ISBN 0-19-505823-2"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Khan, M.G.: Rapid ECG Interpretation. Humana Press (2008)","DOI":"10.1007\/978-1-59745-408-7"},{"issue":"7","key":"9_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":"9_CR4","unstructured":"Center for Devices and Radiological Health: Safety of Marketed Med. Devices, FDA (2006)"},{"key":"9_CR5","unstructured":"A Research and Development Needs Report by NITRD: High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care, \n                    \n                      http:\/\/www.nitrd.gov\/About\/MedDevice-FINAL1-web.pdf"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","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":"9_CR7","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":"9_CR8","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. LNCS, vol.\u00a06416, pp. 312\u2013326. Springer, Heidelberg (2010)"},{"issue":"4","key":"9_CR9","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":"9_CR10","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. STTT\u00a05(4), 320\u2013330 (2004)","journal-title":"STTT"},{"issue":"4","key":"9_CR11","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":"9_CR12","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":"9_CR13","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":"9_CR14","series-title":"EATCS Textbook in Computer Science","first-page":"431","volume-title":"The Typed Logic of Partial Functions and the Vienna Development Method","author":"J. Fitzgerald","year":"2007","unstructured":"Fitzgerald, J.: Logics of Specification Languages. In: Bj\u00f8rner, D., Henson, M.C. (eds.) The Typed Logic of Partial Functions and the Vienna Development Method. EATCS Textbook in Computer Science, pp. 431\u2013465. Springer, Heidelberg (2007)"},{"key":"9_CR15","first-page":"25","volume":"87","author":"D.M. Harrild","year":"2000","unstructured":"Harrild, D.M., Henriquez, C.S., Atria, T.H., Harrild, D.M., Henriquez, C.S.: Cs, a computer model of normal conduction. The Human Atria, Circ. Res.\u00a087, 25\u201336 (2000)","journal-title":"The Human Atria, Circ. Res."},{"key":"9_CR16","unstructured":"Bayes de Luna, A., Batcharov, V.N., Malik, M.: The morphology of the Electrocardiogram. In: The ESC Textbook of Cardiovascular Medicine. Blackwell Publishing Ltd. (2006)"},{"key":"9_CR17","unstructured":"von Neumann, J.: Theory of Self-Reproducing Automata. University of Illinois Press (1966); edited by Burks, A.W."},{"key":"9_CR18","unstructured":"Artigou, J.-Y., Monsuez, J.-J., Societe fran\u00e7aise cardiologie: Cardiologie et maladies vasculaires. Elsevier Masson (2006)"},{"key":"9_CR19","unstructured":"Project RODIN: Rigorous open development environment for complex systems (2004), \n                    \n                      http:\/\/rodin-b-sharp.sourceforge.net\/"},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0022-0736(87)80019-5","volume":"20","author":"R. Plonsey","year":"1987","unstructured":"Plonsey, R., Barr, R.C.: Mathematical modeling of electrical activity of the heart. Journal of Electrocardiology\u00a020(3), 219\u2013226 (1987)","journal-title":"Journal of Electrocardiology"},{"key":"9_CR21","unstructured":"Kye-Rok\u00a0Jun, Y.R.S., Kim, T.G.: A cellular automata model of activation process in ventricular muscle. In: SCSC 1994, pp. 769\u2013774 (1994)"},{"issue":"8","key":"9_CR22","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/S1350-4533(96)00028-8","volume":"18","author":"O. Berenfeld","year":"1996","unstructured":"Berenfeld, O., Abboud, S.: Simulation of cardiac activity and the ecg using a heart model with a reaction-diffusion action potential. Medical Engg. & Physics\u00a018(8), 615\u2013625 (1996)","journal-title":"Medical Engg. & Physics"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/10.76378","volume":"38","author":"D. Adam","year":"1991","unstructured":"Adam, D.: Propagation of depolarization and repolarization processes in the myocardium-an anisotropic model. IEEE Transactions on Biomedical Engg.\u00a038(2), 133\u2013141 (1991)","journal-title":"IEEE Transactions on Biomedical Engg."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Jiang, Z., Pajic, M., Connolly, A.T., Dixit, S., Mangharam, R.: Real-time heart model for implantable cardiac device validation and verification. In: 22nd Euromicro Conference on Real-Time Systems (IEEE ECRTS 2010) (July 2010)","DOI":"10.1109\/ECRTS.2010.36"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Barold, S.S., Stroobandt, R.X., Sinnaeve, A.F.: Cardiac Pacemakers Step by Step. Futura Publishing (2004) ISBN 1-4051-1647-1","DOI":"10.1002\/9780470750728"},{"key":"9_CR26","unstructured":"Ellenbogen, K.A., Wood, M.A.: Cardiac Pacing and ICDs, 4th edn. Blackwell (2005) ISBN-10 1-4051-0447-3"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Hesselson, A.: Simplified Interpretations of Pacemaker ECGs. Blackwell Publishers (2003) ISBN 978-1-4051-0372-5","DOI":"10.1002\/9780470695982"},{"issue":"4","key":"9_CR28","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":"9_CR29","unstructured":"Love, C.J.: Cardiac Pacemakers and Defibrillators. Landes Bioscience Publishers (2006) ISBN 1-57059-691-3"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-79992-4_37","volume-title":"Cellular Automata","author":"D. Makowiec","year":"2008","unstructured":"Makowiec, D.: The Heart Pacemaker by Cellular Automata on Complex Networks. In: Umeo, H., Morishita, S., Nishinari, K., Komatsuzaki, T., Bandini, S. (eds.) ACRI 2008. LNCS, vol.\u00a05191, pp. 291\u2013298. Springer, Heidelberg (2008)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Back, R., von Wright, J.: Refinement Calculus A Systematic Introduction. Graduate Texts in Computer Science. Springer (1998)","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"9_CR32","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 (2011), \n                    \n                      http:\/\/hal.inria.fr\/inria-00600339\/en\/"},{"key":"9_CR33","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"issue":"2","key":"9_CR34","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":"9_CR35","unstructured":"EB2ALL: Automatic code generation from Event-B to many Programming Languages (2011), \n                    \n                      http:\/\/eb2all.loria.fr\/"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Informatics Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32355-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:01:24Z","timestamp":1620129684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}