{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:27:37Z","timestamp":1725557257828},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/issoc.2010.5625551","type":"proceedings-article","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T21:53:28Z","timestamp":1290030808000},"page":"72-75","source":"Crossref","is-referenced-by-count":0,"title":["State chart refinement validation from approximately timed to cycle callable models"],"prefix":"10.1109","author":[{"given":"Rainer","family":"Findenig","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Ecker","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403382"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems","year":"2006","author":"ghenassia","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_26"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146937"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210104"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"8"}],"event":{"name":"2010 International Symposium on System-on-Chip - SOC","start":{"date-parts":[[2010,9,29]]},"location":"Tampere, Finland","end":{"date-parts":[[2010,9,30]]}},"container-title":["2010 International Symposium on System on Chip"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5610911\/5625509\/05625551.pdf?arnumber=5625551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T03:50:23Z","timestamp":1489895423000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5625551\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/issoc.2010.5625551","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}