{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T06:09:07Z","timestamp":1744178947430,"version":"3.37.3"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1239543","1355778","1446544"],"award-info":[{"award-number":["1239543","1355778","1446544"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000070","name":"National Institute of Biomedical Imaging and Bioengineering","doi-asserted-by":"publisher","award":["5-U01-EB012470-05"],"award-info":[{"award-number":["5-U01-EB012470-05"]}],"id":[{"id":"10.13039\/100000070","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/mdat.2015.2464813","type":"journal-article","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T18:18:20Z","timestamp":1439403500000},"page":"74-88","source":"Crossref","is-referenced-by-count":14,"title":["Enabling Safe Interoperation by Medical Device Virtual Integration"],"prefix":"10.1109","volume":"32","author":[{"given":"Brian R.","family":"Larson","sequence":"first","affiliation":[]},{"family":"Yi Zhang","sequence":"additional","affiliation":[]},{"given":"Stephen C.","family":"Barrett","sequence":"additional","affiliation":[]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[]},{"given":"Paul L.","family":"Jones","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187678"},{"year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53956-5_14"},{"key":"ref13","first-page":"276","article-title":"BLESS: Formal specification and verification of behaviors for embedded systems with software","author":"larson","year":"0","journal-title":"Proc NASA Formal Methods Conf"},{"journal-title":"Behavior Language for Embedded Systems with Software Annex Sublanguage for Aadl","year":"2014","author":"larson","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663182"},{"journal-title":"Medical Device Coordination Framework (MDCF)","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961850"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351672"},{"journal-title":"System architecture virtual integration","year":"0","author":"redman","key":"ref19"},{"key":"ref4","article-title":"Indicent data: Filling the gaps, identifying the value, prioritizing needed information","author":"baird","year":"0","journal-title":"AAMI\/FDA Infusion Device Summit"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493410"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","article-title":"A notion of glue expressiveness for component-based systems","author":"bliudze","year":"2008","journal-title":"CONCUR 2008—Concurrency Theory"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2146\/ajhp060220"},{"key":"ref7","first-page":"126","article-title":"Compositional verification of architectural models","author":"cofer","year":"0","journal-title":"Proc 4th NASA Formal Methods Symp"},{"journal-title":"Infusion pumps total product life cycle guidance for industry and FDA staff","year":"2014","key":"ref2"},{"journal-title":"Medical Device 'Plug-and-Play' Interoperability Program","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"journal-title":"Architecture Analysis and Design Language (AADL)","year":"2009","key":"ref20"},{"year":"0","key":"ref21"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/7236939\/07180332.pdf?arnumber=7180332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:46:19Z","timestamp":1641987979000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7180332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":21,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2015.2464813","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2015,10]]}}}