{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:08:45Z","timestamp":1729656525897,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/embc.2016.7591235","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T16:57:43Z","timestamp":1476982663000},"page":"2488-2491","source":"Crossref","is-referenced-by-count":0,"title":["Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study"],"prefix":"10.1109","author":[{"given":"Alvaro","family":"Sobrinho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro","family":"Dias da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Cordeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jarbas","family":"Segundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-92767-1"},{"journal-title":"Medical Instrumentation Application and Design","year":"2009","author":"webster","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1371-4"},{"key":"ref13","article-title":"Portable Digital Electrocardiograph to Monitor ECG Signals","author":"cunha","year":"2012","journal-title":"XIX Brazilian Congress of Automatic"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1161\/01.CIR.101.23.e215","article-title":"PhysioBank, PhysioToolkit, and PhysioNet: Components of a New Research Resource for Complex Physiologic Signals","volume":"101","author":"goldberger","year":"2013","journal-title":"Circulation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSTE.2013.2241797"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2013.04.007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-319-10509-3_10","article-title":"Generation of Assurance Cases for Medical Devices","volume":"566","author":"chung-ling","year":"2015","journal-title":"Studies in Computational Inteligence Computer and Information Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406351"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10009-013-0289-7","article-title":"Closed-loop Verification of Medical Devices With Model Abstration and Refinement","volume":"16","author":"jiang","year":"2014","journal-title":"International Jornal on Software Tools for Technology Tranfer"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.50"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2245334"},{"key":"ref9","article-title":"Measurement of ecg, respiratory rate, tilt and temperature of a patient and wireless zigbee data transmission","author":"alam\u00e4ki","year":"2007","journal-title":"Second International Symposium on Medical Information and Communication Technology"}],"event":{"name":"2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)","start":{"date-parts":[[2016,8,16]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2016,8,20]]}},"container-title":["2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7580725\/7590615\/07591235.pdf?arnumber=7591235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:44:21Z","timestamp":1498340661000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7591235\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/embc.2016.7591235","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}