{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:51:40Z","timestamp":1729626700296,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/cbms.2013.6627779","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T21:49:25Z","timestamp":1382046565000},"page":"143-148","source":"Crossref","is-referenced-by-count":4,"title":["Towards organ-centric compositional development of safe networked supervisory medical systems"],"prefix":"10.1109","author":[{"given":"Woochul","family":"Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PoLiang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Rahmaniheris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard B.","family":"Berlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian M.","family":"Goldman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.anclin.2010.07.006"},{"key":"2","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/s10009-003-0132-7","article-title":"Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system","volume":"5","author":"alur","year":"2004","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1213\/ANE.0b013e318230e9e0"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5070972"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795215"},{"journal-title":"Modeling Medical Devices for Plug-and-play Interoperability","year":"2007","author":"hofmann","key":"5"},{"key":"4","article-title":"Eliciting clinical requirements for the medical device plugand-play (MD PnP) interoperability program","volume":"102","author":"goldman","year":"2006","journal-title":"Anesthesia &Analgesia"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1097\/TA.0b013e31816bf517"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038677"}],"event":{"name":"2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS)","start":{"date-parts":[[2013,6,20]]},"location":"Porto, Portugal","end":{"date-parts":[[2013,6,22]]}},"container-title":["Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6607262\/6627745\/06627779.pdf?arnumber=6627779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:06:09Z","timestamp":1498089969000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6627779\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cbms.2013.6627779","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}