{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:25:32Z","timestamp":1740101132834,"version":"3.37.3"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000002","name":"National Institutes of Health","doi-asserted-by":"publisher","award":["1RF1MH120034-01"],"award-info":[{"award-number":["1RF1MH120034-01"]}],"id":[{"id":"10.13039\/100000002","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001729","name":"Swedish Foundation for Strategic Research","doi-asserted-by":"publisher","award":["RIT17-0023"],"award-info":[{"award-number":["RIT17-0023"]}],"id":[{"id":"10.13039\/501100001729","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,13]]},"DOI":"10.1109\/memocode57689.2022.9954383","type":"proceedings-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:22:51Z","timestamp":1669666971000},"page":"1-20","source":"Crossref","is-referenced-by-count":3,"title":["Creating a Language for Writing Real-Time Applications for the Internet of Things"],"prefix":"10.1109","author":[{"given":"Robert","family":"Krook","sequence":"first","affiliation":[{"name":"Chalmers University of Technology,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hui","sequence":"additional","affiliation":[{"name":"Columbia University,New York,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo Joel","family":"Svensson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen A.","family":"Edwards","sequence":"additional","affiliation":[{"name":"Columbia University,New York,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Gothenburg,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40018-9_22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3406088.3409027"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40447-4_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998397"},{"journal-title":"ScalaCheck The Definitive Guide","year":"2014","author":"nilsson","key":"ref19"},{"journal-title":"Zephyr Project","year":"2021","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232938"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982615"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref24","article-title":"Embedded pattern matching","author":"mcdonell","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.21236\/ADA518830"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"}],"event":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2022,10,13]]},"location":"Shanghai, China","end":{"date-parts":[[2022,10,14]]}},"container-title":["2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9954458\/9954381\/09954383.pdf?arnumber=9954383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:08:55Z","timestamp":1671480535000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9954383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memocode57689.2022.9954383","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}