{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T16:44:13Z","timestamp":1776357853915,"version":"3.51.2"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/iccd.2009.5413154","type":"proceedings-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T18:35:32Z","timestamp":1266431732000},"page":"193-200","source":"Crossref","is-referenced-by-count":5,"title":["A new verification method for embedded systems"],"prefix":"10.1109","author":[{"given":"Robert A.","family":"Thacker","sequence":"first","affiliation":[]},{"given":"Chris J.","family":"Myers","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Scott R.","family":"Little","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"275","article-title":"Verification of analog\/mixed-signal circuits using labeled hybrid Petri nets","author":"little","year":"2006","journal-title":"Proc International Conference on Computer Aided Design (ICCAD)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_10"},{"key":"ref12","article-title":"Efficient Modeling and Verification of Analog\/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets","author":"little","year":"2008"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"},{"key":"ref14","article-title":"Verification of analog and mixed-signal circuits using symbolic methods","author":"walter","year":"2007"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358005"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"},{"key":"ref3","first-page":"232","article-title":"Uppaal – a Tool Suite for Automatic Verification of Real-Time Systems","author":"bengtsson","year":"1995","journal-title":"Proceedings of the Workshop on Verification and Control of Hybrid Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"dill","year":"1989","journal-title":"Proc Workshop Automatic Verification Methods Finite State Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450093"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1992","journal-title":"Hybrid Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.75414"}],"event":{"name":"2009 IEEE International Conference on Computer Design (ICCD 2009)","location":"Lake Tahoe, CA, USA","start":{"date-parts":[[2009,10,4]]},"end":{"date-parts":[[2009,10,7]]}},"container-title":["2009 IEEE International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5406656\/5413104\/05413154.pdf?arnumber=5413154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T04:56:08Z","timestamp":1497848168000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5413154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iccd.2009.5413154","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}