{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:57:45Z","timestamp":1729677465768,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/embc.2016.7591995","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T20:57:43Z","timestamp":1476997063000},"page":"5595-5598","source":"Crossref","is-referenced-by-count":7,"title":["Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications"],"prefix":"10.1109","author":[{"given":"Sidharta","family":"Andalam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harshavardhan","family":"Ramanna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parthasarathi","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nitish","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark L.","family":"Trew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing","year":"0","author":"yip","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb:20070001"},{"year":"0","key":"ref10","article-title":"Piha Benchmarks"},{"key":"ref6","article-title":"Model Checking Implantable Cardioverter Defibrillators","volume":"abs 1512 8083","author":"abbas","year":"2015","journal-title":"CoRR"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1161\/01.RES.68.6.1501"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.014"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1152\/jappl.1968.25.2.191","article-title":"A Graphic Method for the Study of Alternation in Cardiac Action Potentials","volume":"25","author":"nolasco","year":"1968","journal-title":"Journal of Applied Physiology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1046\/j.1540.8167.90303.x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0289-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.44"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s13239-011-0070-6"}],"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\/07591995.pdf?arnumber=7591995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T21:33:00Z","timestamp":1568496780000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7591995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/embc.2016.7591995","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}