{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:20:05Z","timestamp":1773843605379,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T00:00:00Z","timestamp":1351036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,24]]},"DOI":"10.1145\/2388936.2388948","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T18:44:56Z","timestamp":1351104296000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada"],"prefix":"10.1145","author":[{"given":"Neeraj Kumar","family":"Singh","sequence":"first","affiliation":[{"name":"University of York, UK"}]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[{"name":"University of York, UK"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"University of York, UK"}]}],"member":"320","published-online":{"date-parts":[[2012,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324974"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1002\/9780470750728","volume-title":"Cardiac Pacemakers Step by Step","author":"Barold S. Serge","year":"2004","unstructured":"S. Serge Barold , Roland X. Stroobandt , and Alfons F. Sinnaeve . Cardiac Pacemakers Step by Step . Futura Publishing , 2004 . ISBN 1-4051-1647-1. S. Serge Barold, Roland X. Stroobandt, and Alfons F. Sinnaeve. Cardiac Pacemakers Step by Step. Futura Publishing, 2004. ISBN 1-4051-1647-1."},{"key":"e_1_3_2_1_3_1","volume-title":"Concurrent and Real-Time Programming in Ada","author":"Burns A","year":"2007","unstructured":"A Burns and A. J. Wellings . Concurrent and Real-Time Programming in Ada . Cambridge University Press , 2007 . A Burns and A. J. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge University Press, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/340396.340450"},{"key":"e_1_3_2_1_5_1","volume-title":"The real-time specification for Java: Version 1.02.","author":"Dibble P.","year":"2012","unstructured":"P. Dibble , R. Belliardi , B. Brosgol , D. Holmes , and A. J. Wellings . The real-time specification for Java: Version 1.02. Available at http:\/\/www.rtsj.org\/specjavadoc\/book\\_index.html, last accessed August 2012 . P. Dibble, R. Belliardi, B. Brosgol, D. Holmes, and A. J. Wellings. The real-time specification for Java: Version 1.02. Available at http:\/\/www.rtsj.org\/specjavadoc\/book\\_index.html, last accessed August 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1002\/9780470750674","volume-title":"Cardiac Pacing and ICDs","author":"Ellenbogen Kenneth A.","year":"2005","unstructured":"Kenneth A. Ellenbogen and Mark A. Wood . Cardiac Pacing and ICDs . 4 th Edition, Blackwell , 2005 . ISBN-10 1-4051-0447-3. Kenneth A. Ellenbogen and Mark A. Wood. Cardiac Pacing and ICDs. 4th Edition, Blackwell, 2005. ISBN-10 1-4051-0447-3.","edition":"4"},{"key":"e_1_3_2_1_7_1","volume-title":"July","author":"Giuseppe Stabile","year":"2005","unstructured":"Stabile Giuseppe , Simone Antonio De, and Romano Enrico. Automatic mode switching in atrial fibrillation , July 2005 . Stabile Giuseppe, Simone Antonio De, and Romano Enrico. Automatic mode switching in atrial fibrillation, July 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_44"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"H. Hamza and S. Counsell. Simulation of safety-critical real-time Java: A case study of dynamic analysis of scoped memory consumption. Simulation Modelling Practice and Theory vol 25 doi:10.1016\/j.simpat.2012.02.011:172--189 2012.    10.1016\/j.simpat.2012.02.011:172--189\nH. Hamza and S. Counsell. Simulation of safety-critical real-time Java: A case study of dynamic analysis of scoped memory consumption. Simulation Modelling Practice and Theory vol 25 doi:10.1016\/j.simpat.2012.02.011:172--189 2012.","DOI":"10.1016\/j.simpat.2012.02.011"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470695982"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592439"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/602382.602403"},{"key":"e_1_3_2_1_13_1","first-page":"199","volume-title":"Safety-Critical Java: The mission approach","author":"Hunt James","year":"2012","unstructured":"James Hunt and Kelvin Nilsen . Safety-Critical Java: The mission approach . In M. Teresa Higuera-Toledano and Andy Wellings, editors, Distributed, Embedded and Real-time Java Systems, incollection 9, pages 199 -- 233 . Springer US , 2012 . James Hunt and Kelvin Nilsen. Safety-Critical Java: The mission approach. In M. Teresa Higuera-Toledano and Andy Wellings, editors, Distributed, Embedded and Real-time Java Systems, incollection 9, pages 199--233. Springer US, 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1460-9592.2002.00380.x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009935600754"},{"key":"e_1_3_2_1_17_1","volume-title":"Safety-critical Java technology specification, public draft.","author":"Locke D.","year":"2011","unstructured":"D. Locke , B. S. Andersen , B. Brosgol , M. Fulton , T. Henties , J. J. Hunt , J. O. Nielsen , K. Nilsen , M. Schoeberl , J. Tokar , J. Vitek , and A. J. Wellings . Safety-critical Java technology specification, public draft. Available at http:\/\/www.jcp.org\/en\/jsr\/detail?id=302, 2011 . D. Locke, B. S. Andersen, B. Brosgol, M. Fulton, T. Henties, J. J. Hunt, J. O. Nielsen, K. Nilsen, M. Schoeberl, J. Tokar, J. Vitek, and A. J. Wellings. Safety-critical Java technology specification, public draft. Available at http:\/\/www.jcp.org\/en\/jsr\/detail?id=302, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_14"},{"key":"e_1_3_2_1_19_1","volume-title":"ACM","author":"La Manna Valerio Panzica","year":"2009","unstructured":"Valerio Panzica La Manna , Andrea Tommaso Bonanno , and Alfredo Motta . Poster on a simple pacemaker implementation . ACM , May 2009 . Valerio Panzica La Manna, Andrea Tommaso Bonanno, and Alfredo Motta. Poster on a simple pacemaker implementation. ACM, May 2009."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2069216.2069252"},{"issue":"2","key":"e_1_3_2_1_21_1","first-page":"129","article-title":"Functional Behavior of a Cardiac Pacing System","volume":"1","author":"M\u00e9ry Dominique","year":"2011","unstructured":"Dominique M\u00e9ry and Neeraj Kumar Singh . Functional Behavior of a Cardiac Pacing System . International Journal of Discrete Event Control Systems , 1 ( 2 ): 129 -- 149 , 2011 . Dominique M\u00e9ry and Neeraj Kumar Singh. Functional Behavior of a Cardiac Pacing System. International Journal of Discrete Event Control Systems, 1(2):129--149, 2011.","journal-title":"International Journal of Discrete Event Control Systems"},{"key":"e_1_3_2_1_22_1","unstructured":"Boston Scientific. Pacemaker system specification technical report. http:\/\/www.cas.mcmaster.ca\/sqrl\/SQRLDocuments\/PACEMAKER.pdf 2007.  Boston Scientific. Pacemaker system specification technical report. http:\/\/www.cas.mcmaster.ca\/sqrl\/SQRLDocuments\/PACEMAKER.pdf 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.28"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1756"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.340"},{"key":"e_1_3_2_1_26_1","volume-title":"Workshops in Computing. BCS","author":"Woodcock Jim","year":"2001","unstructured":"Jim Woodcock and Ana Cavalcanti . A concurrent language for refinement. In Andrew Butterfield, Glenn Strong, and Claus Pahl, editors, IWFM , Workshops in Computing. BCS , 2001 . Jim Woodcock and Ana Cavalcanti. A concurrent language for refinement. In Andrew Butterfield, Glenn Strong, and Claus Pahl, editors, IWFM, Workshops in Computing. BCS, 2001."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Jim\n      Woodcock\n     and \n      Ana\n      Cavalcanti\n    .\n  The semantics of circus\n  . In Didier Bert Jonathan Bowen Martin Henson and Ken Robinson editors ZB \n  2002\n  :Formal Specification and Development in Z and B volume \n  2272\n   of \n  Lecture Notes in Computer Science pages \n  184\n  --\n  203\n  . \n  Springer Berlin\/Heidelberg 2002. 10.1007\/3-540-45648-1_10.   Jim Woodcock and Ana Cavalcanti. The semantics of circus. In Didier Bert Jonathan Bowen Martin Henson and Ken Robinson editors ZB 2002:Formal Specification and Development in Z and B volume 2272 of Lecture Notes in Computer Science pages 184--203. Springer Berlin\/Heidelberg 2002. 10.1007\/3-540-45648-1_10.","DOI":"10.1007\/3-540-45648-1_10"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1161\/CIRCUALTIONAHA.108.189741"}],"event":{"name":"JTRES '12: The 10th International Workshop on Java Technologies for Real-time and Embedded Systems","location":"Copenhagen Denmark","acronym":"JTRES '12"},"container-title":["Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388948","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2388936.2388948","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:21Z","timestamp":1750238481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388948"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,24]]},"references-count":28,"alternative-id":["10.1145\/2388936.2388948","10.1145\/2388936"],"URL":"https:\/\/doi.org\/10.1145\/2388936.2388948","relation":{},"subject":[],"published":{"date-parts":[[2012,10,24]]},"assertion":[{"value":"2012-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}