{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T23:16:11Z","timestamp":1781306171271,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0834524CNS-0930647"],"award-info":[{"award-number":["CNS-0834524CNS-0930647"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,13]]},"DOI":"10.1145\/1795194.1795214","type":"proceedings-article","created":{"date-parts":[[2010,5,25]],"date-time":"2010-05-25T13:08:24Z","timestamp":1274792904000},"page":"139-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["Toward patient safety in closed-loop medical device systems"],"prefix":"10.1145","author":[{"given":"David","family":"Arney","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian M.","family":"Goldman","sequence":"additional","affiliation":[{"name":"Massachusetts General Hospital & CIMIT"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ASTM International. STAM F2761-2009. Medical Devices and Medical Systems --- Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1: General Requirements and Conceptual Model 2009.  ASTM International. STAM F2761-2009. Medical Devices and Medical Systems --- Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1: General Requirements and Conceptual Model 2009."},{"issue":"3","key":"e_1_3_2_1_2_1","first-page":"194","article-title":"Plug-and-play in the operating room of the future","volume":"39","author":"Goldman J. M.","year":"2005","unstructured":"J. M. Goldman , R. A. Schrenker , J. L. Jackson , and S. F. Whitehead . Plug-and-play in the operating room of the future . Biomedical Instrumentation and Technology , 39 ( 3 ): 194 -- 199 , 2005 . J. M. Goldman, R. A. Schrenker, J. L. Jackson, and S. F. Whitehead. Plug-and-play in the operating room of the future. Biomedical Instrumentation and Technology, 39(3):194--199, 2005.","journal-title":"Biomedical Instrumentation and Technology"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems (revised lectures)","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on uppaal . In Formal Methods for the Design of Real-Time Systems (revised lectures) , volume 3185 of LNCS , pages 200 -- 237 , 2004 . G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In Formal Methods for the Design of Real-Time Systems (revised lectures), volume 3185 of LNCS, pages 200--237, 2004."},{"issue":"4","key":"e_1_3_2_1_5_1","first-page":"313","article-title":"Plug-and-play for medical devices: Experiences from a case study. Biomedical Instrumentation &","volume":"43","author":"Fischmeister S.","year":"2009","unstructured":"S. Fischmeister , J. M. Goldman , I. Lee , and R. Trausmuth . Plug-and-play for medical devices: Experiences from a case study. Biomedical Instrumentation & Technology , 43 ( 4 ): 313 -- 317 , 2009 . S. Fischmeister, J. M. Goldman, I. Lee, and R. Trausmuth. Plug-and-play for medical devices: Experiences from a case study. Biomedical Instrumentation & Technology, 43(4):313--317, 2009.","journal-title":"Technology"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11606-007-0414-y"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"e_1_3_2_1_9_1","volume-title":"Monitoring the Critically Ill Patient","author":"Jevon P.","year":"2007","unstructured":"P. Jevon and B. Ewens , editors . Monitoring the Critically Ill Patient . Wiley-Blackwell , 2 nd edition, 2007 . P. Jevon and B. Ewens, editors. Monitoring the Critically Ill Patient. Wiley-Blackwell, 2nd edition, 2007.","edition":"2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Workshop on Logic of Programs","volume":"131","author":"Clarke E. M.","year":"1981","unstructured":"E. M. Clarke and E. A. Emerson . Design and synthesis of synchronization skeletons using branching time temporal logic . In Workshop on Logic of Programs , volume 131 of LNCS, pages 52 -- 71 , 1981 . E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on Logic of Programs, volume 131 of LNCS, pages 52--71, 1981."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1213\/01.ane.0000265557.73688.32"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0132-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"e_1_3_2_1_16_1","article-title":"Supervisory control of families of linear set-point controllers -- Part 1: Exact matching","author":"Morse A. S.","year":"1996","unstructured":"A. S. Morse . Supervisory control of families of linear set-point controllers -- Part 1: Exact matching . IEEE Transactions on Automatic Control, pages 1413--1431 , October 1996 . A. S. Morse. Supervisory control of families of linear set-point controllers -- Part 1: Exact matching. IEEE Transactions on Automatic Control, pages 1413--1431, October 1996.","journal-title":"IEEE Transactions on Automatic Control, pages 1413--1431"},{"key":"e_1_3_2_1_17_1","article-title":"Supervisory control of families of linear set-point controllers -- Part 2: Robustness","author":"Morse A. S.","year":"1997","unstructured":"A. S. Morse . Supervisory control of families of linear set-point controllers -- Part 2: Robustness . IEEE Transactions on Automatic Control, pages 1500--1515 , November 1997 . A. S. Morse. Supervisory control of families of linear set-point controllers -- Part 2: Robustness. IEEE Transactions on Automatic Control, pages 1500--1515, November 1997.","journal-title":"IEEE Transactions on Automatic Control, pages 1500--1515"}],"event":{"name":"ICCPS '10: ACM\/IEEE 1st International Conference on Cyber-Physical Systems","location":"Stockholm Sweden","acronym":"ICCPS '10","sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 1st ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1795194.1795214","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1795194.1795214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:53Z","timestamp":1750245773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1795194.1795214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":16,"alternative-id":["10.1145\/1795194.1795214","10.1145\/1795194"],"URL":"https:\/\/doi.org\/10.1145\/1795194.1795214","relation":{},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}