{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T07:30:34Z","timestamp":1672385434086},"reference-count":7,"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":[[2008]]},"DOI":"10.1155\/2008\/519474","type":"journal-article","created":{"date-parts":[[2008,7,2]],"date-time":"2008-07-02T06:47:03Z","timestamp":1214981223000},"page":"519474","source":"Crossref","is-referenced-by-count":1,"title":["Model-Driven Validation of SystemC Designs"],"prefix":"10.1186","volume":"2008","author":[{"given":"Hiren D","family":"Patel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-8908-x"},{"key":"4","year":"2003"},{"key":"11","volume-title":"Evolving algebras 1993: Lipari guide","year":"1995"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.863187"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.017"},{"issue":"4","key":"3","first-page":"517","volume":"25","year":"2001"},{"key":"19","year":"2005"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T08:28:31Z","timestamp":1321518511000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2008\/1\/519474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008]]}},"alternative-id":["1687-3963-2008-519474"],"URL":"https:\/\/doi.org\/10.1155\/2008\/519474","relation":{},"ISSN":["1687-3963"],"issn-type":[{"value":"1687-3963","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}