{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T08:02:19Z","timestamp":1769846539201,"version":"3.49.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,1]]},"DOI":"10.1109\/smc53992.2023.10393931","type":"proceedings-article","created":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T18:32:04Z","timestamp":1706553124000},"page":"4271-4276","source":"Crossref","is-referenced-by-count":1,"title":["Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems"],"prefix":"10.1109","author":[{"given":"Shuang","family":"Song","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign,Department of Computer Science,Urbana,Illinois,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manasvi","family":"Saxena","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign,Department of Computer Science,Urbana,Illinois,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pei-Hsuan","family":"Tsai","sequence":"additional","affiliation":[{"name":"Institute of Manufacturing Information and Systems, National Cheng Kung University,Tainan,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign,Department of Computer Science,Urbana,Illinois,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.17226\/1626"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0140-6736(93)92244-N"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1086\/499363"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.resuscitation.2011.09.009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1097\/CCM.0b013e318236f168"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1001\/jama.293.10.1223"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.38398.500764.8f"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/jamia\/ocw151"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1186\/1748-5908-6-91"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2008.01.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15265\/IYS-2016-s034"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4825(94)90001-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.1998.0050357"},{"key":"ref14","first-page":"645","article-title":"Glif3: the evolution of a guideline representation format.","volume-title":"Proceedings of the AMIA Symposium","author":"Peleg","year":"2000"},{"key":"ref15","first-page":"9","article-title":"Asbru: a task-specific, intention-based, and time-oriented language for representing skeletal plans","volume-title":"Proceedings of the 7th Workshop on Knowledge Engineering: Methods & Languages (KEML-97)","author":"Miksch","year":"1997"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(98)00021-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M1264"},{"key":"ref18","first-page":"145","article-title":"Detailed clinical models for sharable, executable guidelines","volume-title":"MEDINFO 2004","author":"Parker","year":"2004"},{"key":"ref19","first-page":"251","article-title":"Executing clinical practice guidelines using the sage execution engine","volume-title":"MEDINFO 2004","author":"Ram","year":"2004"},{"key":"ref20","first-page":"380","article-title":"Design, implementation, use, and preliminary evaluation of sebastian, a standards-based web service for clinical decision support","volume-title":"AMIA Annual Symposium Proceedings","volume":"2005","author":"Kawamoto","year":"2005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0736-4679(00)00182-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00134-019-05878-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2016.12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1001\/jama.2016.0287"}],"event":{"name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Honolulu, Oahu, HI, USA","start":{"date-parts":[[2023,10,1]]},"end":{"date-parts":[[2023,10,4]]}},"container-title":["2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10391856\/10393862\/10393931.pdf?arnumber=10393931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T06:51:37Z","timestamp":1709448697000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10393931\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/smc53992.2023.10393931","relation":{},"subject":[],"published":{"date-parts":[[2023,10,1]]}}}