{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:44:03Z","timestamp":1729673043299,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/healthcom.2015.7454503","type":"proceedings-article","created":{"date-parts":[[2016,5,4]],"date-time":"2016-05-04T16:10:33Z","timestamp":1462378233000},"page":"227-231","source":"Crossref","is-referenced-by-count":1,"title":["A methodology for modeling and simulation of biomedical signal acquisition devices"],"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 Dias","family":"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":"Joilson","family":"Rego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Trustable Formal Specification for Software Certification Leveraging Applications of Formal Methods Verification and Validation 6416 Lecture Notes in Computer Science Springer","year":"2010","author":"dominique","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227033"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref13","article-title":"Using Colored Petri Nets for the Requirements Engineering of a Noninvasive Electrogastrography System","author":"sobrinho","year":"2014","journal-title":"IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"ref14","article-title":"Towards Medical Device Certification: A Colored Petri Nets Model of a Non-invasive Electrocardiography Device","author":"sobrinho","year":"2014","journal-title":"40th Annual Conference of the IEEE Industrial Electronics Society (IECON)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-92767-1"},{"journal-title":"Boston Scientific","article-title":"PACEMAKER System Specification","year":"2007","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CMCE.2010.5609852"},{"year":"0","key":"ref18","article-title":"Engauge Digitizer-Automatic Point Graph Tutorial"},{"article-title":"Comms\/CPN: A Communication Infrastructure for External Communication with DESIGN\/CPN","year":"2015","author":"gallasch","key":"ref19"},{"article-title":"Medical Instrumentation: Applications and Design","year":"2009","author":"webster","key":"ref4"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1764","DOI":"10.1109\/TII.2013.2245334","article-title":"A Continuous Biomedical Signal Acquisition System Based on Compressed Sensing in Body Sensor Networks","volume":"9","author":"shancang","year":"2013","journal-title":"Industrial Informatics IEEE Transactions on"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2013.2293222"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2012.6463724"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"ref7","first-page":"1625","article-title":"Development of a compact-size and wireless noninvasive EMG measurement system","author":"youn","year":"2009","journal-title":"ICCAS-SICE 2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2013.6720664"},{"key":"ref1","article-title":"Measurement of ecg, respiratory rate, tilt and temperature of a patient and wireless zigbee data transmission","author":"alamaki","year":"2007","journal-title":"the Second International Symposium on Medical Information and Communication Technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.930649"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"ref21","article-title":"Analog-to-Digital Conversion","author":"pelgrom","year":"2013","journal-title":"Stringer"}],"event":{"name":"2015 17th International Conference on E-Health Networking, Application & Services (HealthCom)","start":{"date-parts":[[2015,10,14]]},"location":"Boston, MA","end":{"date-parts":[[2015,10,17]]}},"container-title":["2015 17th International Conference on E-health Networking, Application & Services (HealthCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7449553\/7454459\/07454503.pdf?arnumber=7454503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T08:43:44Z","timestamp":1498293824000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7454503\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/healthcom.2015.7454503","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}