{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T12:54:16Z","timestamp":1676465656823},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["EURASIP J Embed Syst","EURASIP Journal on Embedded Systems"],"published-print":{"date-parts":[[2010]]},"DOI":"10.1155\/2010\/489365","type":"journal-article","created":{"date-parts":[[2010,4,18]],"date-time":"2010-04-18T15:30:40Z","timestamp":1271604640000},"page":"489365","source":"Crossref","is-referenced-by-count":4,"title":["On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS"],"prefix":"10.1186","volume":"2010","author":[{"given":"Yaseen","family":"Zaidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Grimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Haase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/171358"},{"key":"3","volume-title":"Automatic generation of a coverification platform","year":"2006"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/47580"},{"issue":"1","key":"7","first-page":"22","volume":"2","year":"1997"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.16"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2005.02.005"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/738136"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/134798"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/34\/1\/042"},{"issue":"5","key":"27","first-page":"770","volume":"7","year":"2007"},{"issue":"3","key":"35","first-page":"131","volume":"1","year":"1983"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/102810.102813"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.2001.1805"},{"issue":"6","key":"40","first-page":"501","volume":"9","year":"2005"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T13:47:33Z","timestamp":1321537653000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2010\/1\/489365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010]]}},"alternative-id":["1687-3963-2010-489365"],"URL":"https:\/\/doi.org\/10.1155\/2010\/489365","relation":{},"ISSN":["1687-3963"],"issn-type":[{"value":"1687-3963","type":"print"}],"subject":[],"published":{"date-parts":[[2010]]}}}