{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:37:39Z","timestamp":1767339459184},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/tii.2012.2226594","type":"journal-article","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T18:03:11Z","timestamp":1351274591000},"page":"3-16","source":"Crossref","is-referenced-by-count":78,"title":["Model-Driven Safety Analysis of Closed-Loop Medical Systems"],"prefix":"10.1109","volume":"10","author":[{"given":"Miroslav","family":"Pajic","sequence":"first","affiliation":[]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"David","family":"Arney","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Goldman","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"ref11","author":"chan","year":"2005","journal-title":"?A Single-Chip Pulsoximeter Design Using the MSP430 ?"},{"key":"ref12","year":"2003","journal-title":"Process Control Modeling Design and Simulation"},{"key":"ref13","year":"2007","journal-title":"Monitoring the critically ill patient"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1213\/01.ane.0000265557.73688.32"},{"key":"ref15","year":"2012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/002077200291299"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"ref18","article-title":"Model based design verification?A monitor based approach","author":"ackermann","year":"2008","journal-title":"Proc Society of Automotive Engineers World Congress"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref28","author":"rugh","year":"1996","journal-title":"Linear System Theory"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","volume":"3185","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems (Revised Lectures)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.25"},{"key":"ref3","first-page":"194","article-title":"Plug-and-play in the operating room of the future","volume":"39","author":"goldman","year":"2005","journal-title":"Biomed Instrum Technol"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1287","DOI":"10.1109\/JPROC.2012.2189792","article-title":"Cyber-physical systems: A perspective at the centennial","volume":"100","author":"kim","year":"2012","journal-title":"Proc IEEE"},{"key":"ref5","first-page":"139","article-title":"High-confidence medical device software and systems","volume":"39","author":"lee","year":"2006","journal-title":"IEEE Computer"},{"key":"ref8","year":"2010","journal-title":"Infusion Pump Improvement Initiative"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2345\/0899-8205-43.4.313"},{"key":"ref2","year":"2009","journal-title":"Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1 General Requirements and Conceptual Model"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11606-007-0414-y"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040392"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2174248"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2050001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040393"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"ref25","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":"Int J Software Tools for Technology Transfer"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6683081\/06341078.pdf?arnumber=6341078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:45:42Z","timestamp":1638218742000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6341078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":28,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tii.2012.2226594","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]}}}