{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:33:58Z","timestamp":1725554038344},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641456","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T19:14:34Z","timestamp":1224011674000},"page":"243-244","source":"Crossref","is-referenced-by-count":0,"title":["SpecScribe Analog - A specification tool extension for heterogeneous systems"],"prefix":"10.1109","author":[{"given":"Erik","family":"Markert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Pross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Heinkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"journal-title":"HybridSAL Modeling and Abstracting Hybrid Systems","year":"2003","author":"tiwari","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2007.894130"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641456.pdf?arnumber=4641456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:48:18Z","timestamp":1489686498000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641456","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}