{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:43:54Z","timestamp":1742935434194,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642391729"},{"type":"electronic","value":"9783642391736"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39173-6_31","type":"book-chapter","created":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T21:00:35Z","timestamp":1372366835000},"page":"258-267","source":"Crossref","is-referenced-by-count":1,"title":["Ideal Mode Selection of a Cardiac Pacing System"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0002-8703(68)90195-6","volume":"2","author":"A. Castellanos Jr.","year":"1968","unstructured":"Castellanos Jr., A., Lemberg, L., Rodriguez-Tocker, L., Berkovits, B.V.: Atrial synchronized pacemaker arrhythmias: revisited. Am. Heart, Pub. Med.\u00a02, 199\u2013208 (1968)","journal-title":"Am. Heart, Pub. Med."},{"key":"31_CR2","unstructured":"Steinbach, K., Forohner, K., Meisl, F.: Atrial stimulation. In: Perez Gomez, F. (ed.) Cardiac Pacing, p. 629 (1985)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2009) (forthcoming book)","DOI":"10.1017\/CBO9781139195881"},{"issue":"3","key":"31_CR4","doi-asserted-by":"publisher","first-page":"420","DOI":"10.7326\/0003-4819-103-3-420","volume":"103","author":"K. Ausubel","year":"1985","unstructured":"Ausubel, K., Furman, S.: The Pacemaker Syndrome. Annals of Internal Medicine\u00a0103(3), 420\u2013429 (1985)","journal-title":"Annals of Internal Medicine"},{"issue":"1","key":"31_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R. Back","year":"1979","unstructured":"Back, R.: On correct refinement of programs. Journal of Computer and System Sciences\u00a023(1), 49\u201368 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"31_CR6","first-page":"1209","volume":"10","author":"A. Allen","year":"1987","unstructured":"Allen, A., Clarke, M.: Rate responsive atrial pacing resulting in pacemaker syndrome. PACE\u00a010, 1209 (1987)","journal-title":"PACE"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-10373-5_31","volume-title":"Formal Methods and Software Engineering","author":"F.L. Dotti","year":"2009","unstructured":"Dotti, F.L., Iliasov, A., Ribeiro, L., Romanovsky, A.: Modal systems: Specification, refinement and realisation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 601\u2013619. Springer, Heidelberg (2009)"},{"key":"31_CR8","unstructured":"Grumberg, O., Clarke, E.M., Peled, D.: Model Checking. MIT Press (1999) ISBN 978-0262032704"},{"key":"31_CR9","first-page":"253","volume-title":"Medical Electronics. International Conference on Medical Electronics","author":"S.A. Elmqvist Rune","year":"1959","unstructured":"Elmqvist Rune, S.A.: An implantable pacemaker for the heart. In: Medical Electronics. International Conference on Medical Electronics, vol.\u00a02, pp. 253\u2013254. Iliffe, London (1959)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Fohler, G.: Realizing changes of operational modes with a pre run-time scheduled hard real-time system. In: Proceedings of the Second International Workshop on Responsive Computer Systems, pp. 287\u2013300. Springer (1992)","DOI":"10.1007\/978-3-7091-9288-7_16"},{"key":"31_CR11","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)"},{"issue":"2","key":"31_CR12","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"12","key":"31_CR13","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.K.: Modechart: A specification language for real-time systems. IEEE Trans. Softw. Eng.\u00a020(12), 933\u2013947 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"31_CR14","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.: Michael Leuschel and Michael Butler. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"31_CR15","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.S.: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 181\u2013197. Springer, Heidelberg (2008)"},{"key":"31_CR16","unstructured":"M\u00e9ry, D., Singh, N.K.: Functional behavior of a cardiac pacing system. International Journal of Discrete Event Control Systems\u00a01 (2010) (in Press)"},{"issue":"1","key":"31_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional documents for computer systems. Sci. Comput. Program.\u00a025(1), 41\u201361 (1995)","journal-title":"Sci. Comput. Program."},{"key":"31_CR18","unstructured":"Project RODIN. Rigorous open development environment for complex systems (2004), \n                    \n                      http:\/\/rodin-b-sharp.sourceforge.net\/"},{"issue":"2","key":"31_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real, J., Crespo, A.: Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Syst.\u00a026(2), 161\u2013197 (2004)","journal-title":"Real-Time Syst."},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Report. Recommendations for pacemaker prescription for symptomatic bradycardia. British Heart Journal 66(2),185\u2013189 (1991)","DOI":"10.1136\/hrt.66.2.185"},{"issue":"5","key":"31_CR21","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S0002-9149(98)01024-8","volume":"83","author":"R. Sutton","year":"1999","unstructured":"Sutton, R., Stack, Z., Heaven, D., Ingram, A.: Mode switching for atrial tachyarrhythmias. The American Journal of Cardiology\u00a083(5, suppl. 2), 202\u2013210 (1999)","journal-title":"The American Journal of Cardiology"},{"issue":"21","key":"31_CR22","doi-asserted-by":"crossref","first-page":"e1","DOI":"10.1016\/j.jacc.2008.02.032","volume":"51","author":"Andrew E. Epstein","year":"2008","unstructured":"Epstein, A.E., DiMarco, J.P., Ellenbogen, K.A., Estes III, N.A.M., Freedman, R.A., Gettes, L.S., Gillinov, A.M., Gregoratos, G., Hammill, S.C., Hayes, D.L., Hlatky, M.A., Newby, L.K., Page, R.L., Schoenfeld, M.H., Silka, M.J., Stevenson, L.W., Sweeney, M.O.: ACC\/AHA\/HRS 2008 Guidelines for Device-Based Therapy of Cardiac Rhythm Abnormalities. Circulation, 117(21):2820\u20132840 (2008)","journal-title":"Journal of the American College of Cardiology"}],"container-title":["Lecture Notes in Computer Science","Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39173-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:41:49Z","timestamp":1582411309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39173-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642391729","9783642391736"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39173-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}