{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:52Z","timestamp":1772164072251,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"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":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663182","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"47-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal semantics for the PACEMAKER system specification"],"prefix":"10.1145","author":[{"given":"Brian R.","family":"Larson","sequence":"first","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The science of programming","author":"Gries David","year":"1981","unstructured":"David Gries , The science of programming , Springer-Verlag , Berlin Heidelberg New York, 1981 . David Gries, The science of programming, Springer-Verlag, Berlin Heidelberg New York, 1981."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_3_1","volume-title":"Behavior Language for Embedded Systems with Software: Language Reference Manual","author":"Larson Brian R.","year":"2014","unstructured":"Brian R. Larson , Behavior Language for Embedded Systems with Software: Language Reference Manual , 2014 , info.santoslab.org\/research\/aadl\/bless. Brian R. Larson, Behavior Language for Embedded Systems with Software: Language Reference Manual, 2014, info.santoslab.org\/research\/aadl\/bless."},{"key":"e_1_3_2_1_4_1","first-page":"2","volume":"4","author":"M\u00e9ry Dominique","year":"2014","unstructured":"Dominique M\u00e9ry , Bernhard Sch\u00e4tz , and Alan Wassyng , The Pacemaker Challenge: Developing Certifiable Medical Devices ( Dagstuhl Seminar 14062) , Dagstuhl Reports 4 ( 2014 ), no. 2 , 17--37. Dominique M\u00e9ry, Bernhard Sch\u00e4tz, and Alan Wassyng, The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062), Dagstuhl Reports 4 (2014), no. 2, 17--37.","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_5_1","volume-title":"Architecture Analysis & Design Language (AADL)","author":"International SAE","year":"2013","unstructured":"SAE International , SAE AS5506B. Architecture Analysis & Design Language (AADL) , 2013 . SAE International, SAE AS5506B. Architecture Analysis & Design Language (AADL), 2013."},{"key":"e_1_3_2_1_6_1","volume-title":"Pacemaker system specification, sqrl.mcmaster.ca\/pacemaker.htm","author":"Scientific Boston","year":"2007","unstructured":"Boston Scientific , Pacemaker system specification, sqrl.mcmaster.ca\/pacemaker.htm , 2007 . Boston Scientific, Pacemaker system specification, sqrl.mcmaster.ca\/pacemaker.htm, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06784-0","volume-title":"Duration calculus: A formal approach to real-time systems","author":"Zhou Chaochen","year":"2004","unstructured":"Chaochen Zhou and Michael Hansen , Duration calculus: A formal approach to real-time systems , Springer , Berlin Heidelberg New York, 2004 . Chaochen Zhou and Michael Hansen, Duration calculus: A formal approach to real-time systems, Springer, Berlin Heidelberg New York, 2004."}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663182","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":7,"alternative-id":["10.1145\/2663171.2663182","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663182","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663182","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}