{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:31Z","timestamp":1750306891429,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"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 08-34709"],"award-info":[{"award-number":["CNS 08-34709"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000002","name":"National Institutes of Health","doi-asserted-by":"publisher","award":["Sub MGH 217183"],"award-info":[{"award-number":["Sub MGH 217183"]}],"id":[{"id":"10.13039\/100000002","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-0046"],"award-info":[{"award-number":["N00014-12-1-0046"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,8]]},"DOI":"10.1145\/2502524.2502537","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"89-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A low complexity coordination architecture for networked supervisory medical systems"],"prefix":"10.1145","author":[{"given":"Po-Liang","family":"Wu","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Woochul","family":"Kang","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdullah","family":"Al-Nayeem","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Richard B.","family":"Berlin","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian M.","family":"Goldman","sequence":"additional","affiliation":[{"name":"Mass. General Hospital and CIMIT, Cambridge, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Design challenges,\" EECS Department","author":"Lee E. A.","year":"2008","unstructured":"E. A. Lee , \"Cyber physical systems : Design challenges,\" EECS Department , University of California , Berkeley, Tech . Rep. UCB\/EECS- 2008 -8, Jan 2008. {Online}. Available: http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2008\/EECS-2008-8.html E. A. Lee, \"Cyber physical systems: Design challenges,\" EECS Department, University of California, Berkeley, Tech. Rep. UCB\/EECS-2008-8, Jan 2008. {Online}. Available: http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2008\/EECS-2008-8.html"},{"key":"e_1_3_2_1_2_1","first-page":"S1","article-title":"Eliciting clinical requirements for the medical device plug-and-play (MD PnP) interoperability program","volume":"102","author":"Goldman J.","year":"2006","unstructured":"J. Goldman , S. Whitehead , S. Weininger , and M. Rockville , \" Eliciting clinical requirements for the medical device plug-and-play (MD PnP) interoperability program ,\" Anesthesia & Analgesia , vol. 102 , pp. S1 -- 54 , 2006 . J. Goldman, S. Whitehead, S. Weininger, and M. Rockville, \"Eliciting clinical requirements for the medical device plug-and-play (MD PnP) interoperability program,\" Anesthesia & Analgesia, vol. 102, pp. S1--54, 2006.","journal-title":"Anesthesia & Analgesia"},{"key":"e_1_3_2_1_3_1","volume-title":"General requirements and conceptual model,\" draft ASTM TC F","author":"Goldmann J.","year":"2009","unstructured":"J. Goldmann , \"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,\" draft ASTM TC F , vol. 29 , 2009 . J. Goldmann, \"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,\" draft ASTM TC F, vol. 29, 2009."},{"key":"e_1_3_2_1_4_1","first-page":"429","article-title":"The state explosion problem","author":"Valmari A.","year":"1998","unstructured":"A. Valmari , \" The state explosion problem ,\" Lectures on Petri nets: advances in Petri nets , p. 429 , 1998 . A. Valmari, \"The state explosion problem,\" Lectures on Petri nets: advances in Petri nets, p. 429, 1998.","journal-title":"Lectures on Petri nets: advances in Petri nets"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795215"},{"volume-title":"Goldstein et al., \"Minimally invasive colon resection (laparoscopic colectomy).\" Surgical laparoscopy & endoscopy","author":"Jacobs M.","key":"e_1_3_2_1_7_1","unstructured":"M. Jacobs , J. Verdeja , H. Goldstein et al., \"Minimally invasive colon resection (laparoscopic colectomy).\" Surgical laparoscopy & endoscopy , vol. 1 , no. 3, p. 144, 1991. M. Jacobs, J. Verdeja, H. Goldstein et al., \"Minimally invasive colon resection (laparoscopic colectomy).\" Surgical laparoscopy & endoscopy, vol. 1, no. 3, p. 144, 1991."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMoa013259"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795201"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707801.1706305"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110363.2110423"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMsa020847"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.25"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0132-7"},{"key":"e_1_3_2_1_18_1","volume-title":"Model-driven safety analysis of closed-loop medical systems,\" IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS","author":"Pajic M.","year":"2012","unstructured":"M. Pajic , R. Mangharam , O. Sokolsky , D. Arney , J. Goldman , and I. Lee , \" Model-driven safety analysis of closed-loop medical systems,\" IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS , 2012 . M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, and I. Lee, \"Model-driven safety analysis of closed-loop medical systems,\" IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.50"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.815324"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/58564.59295"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90021-0"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.v12:6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"}],"event":{"name":"ICCPS '13: ACM\/IEEE 4th International Conference on Cyber-Physical Systems","sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Philadelphia Pennsylvania","acronym":"ICCPS '13"},"container-title":["Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502537","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502524.2502537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:54Z","timestamp":1750234734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502537"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":25,"alternative-id":["10.1145\/2502524.2502537","10.1145\/2502524"],"URL":"https:\/\/doi.org\/10.1145\/2502524.2502537","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}