{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:58:00Z","timestamp":1725800280072},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/iecon.2019.8927111","type":"proceedings-article","created":{"date-parts":[[2019,12,27]],"date-time":"2019-12-27T16:00:17Z","timestamp":1577462417000},"page":"2871-2876","source":"Crossref","is-referenced-by-count":2,"title":["A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process"],"prefix":"10.1109","author":[{"given":"Tassio Fernandes","family":"Costa","sequence":"first","affiliation":[]},{"given":"Alvaro","family":"Sobrinho","sequence":"additional","affiliation":[]},{"given":"Lenardo Chaves","family":"e Silva","sequence":"additional","affiliation":[]},{"given":"Leandro Dias","family":"da Silva","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/THMS.2015.2487509"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ACCESS.2018.2854822"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/CESYS.2017.8321163"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"27625","DOI":"10.3390\/s151127625","article-title":"A model-based approach to support validation of medical cyber-physical systems","author":"silva","year":"2015","journal-title":"SENSORS"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/SMC.2014.6974307"},{"key":"ref15","first-page":"1","article-title":"Formal modeling of biomedical signal acquisition systems: source of evidence for certification","author":"sobrinho","year":"2017","journal-title":"Software and Systems Modeling"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1177\/193229681000400207"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/3357495.3357496"},{"year":"0","journal-title":"Infusion pumps total product life cycle guidance for industry and FDA staff","key":"ref3"},{"year":"2010","journal-title":"US FDA Infusion Pump Improvement Initiative","article-title":"FDA Infusion 2010","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1080\/17434440.2018.1492376"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/MPUL.2017.2772685"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/2663340"},{"year":"2016","journal-title":"Fda Medical device classification procedures","key":"ref2"},{"year":"0","journal-title":"Accu-chek spirit insulin pump system Pump user guide","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ICSEC.2014.6978179"}],"event":{"name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2019,10,14]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2019,10,17]]}},"container-title":["IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8897531\/8926608\/08927111.pdf?arnumber=8927111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T20:59:33Z","timestamp":1598216373000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8927111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iecon.2019.8927111","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}