{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:08:00Z","timestamp":1730232480326,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iccad.2017.8203884","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T17:02:04Z","timestamp":1513270924000},"page":"957-963","source":"Crossref","is-referenced-by-count":0,"title":["Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols"],"prefix":"10.1109","author":[{"given":"Andrew Y.-Z.","family":"Ou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Rahmaniheris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Po-Liang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2337\/dc12-0761"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461337"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2316234"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970293"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_47"},{"journal-title":"The design of safe networked supervisory medical systems using organ-centric hierarchical control architecture","year":"2014","author":"kang","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2012.6276355"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-016-0614-2"},{"key":"ref4","first-page":"1","article-title":"A lease based hybrid design pattern for proper-temporal-embedding of wireless cps interlocking","author":"tan","year":"2014","journal-title":"Parallel and Distributed Systems IEEE Transactions on"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575357"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843734"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1089\/dia.2008.0102"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/193229680900300504"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795215"},{"key":"ref1","first-page":"30","article-title":"The medical device “plug-and-play” (md pnp) interoperability program","volume":"39","author":"goldman","year":"2006","journal-title":"Computer"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1111\/j.1464-5491.2005.01672.x"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2573762"},{"key":"ref21","first-page":"112","article-title":"Use runtime verification to improve the quality of medical care practice","author":"jiang","year":"2016","journal-title":"Software Engineering Companion (ICSE-C) IEEE\/ACM International Conference on"}],"event":{"name":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2017,11,13]]},"location":"Irvine, CA","end":{"date-parts":[[2017,11,16]]}},"container-title":["2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8167715\/8203744\/08203884.pdf?arnumber=8203884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T17:33:02Z","timestamp":1516642382000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8203884\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2017.8203884","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}