{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:55:48Z","timestamp":1742378148264},"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":[[2008]]},"DOI":"10.1155\/2008\/594129","type":"journal-article","created":{"date-parts":[[2008,11,20]],"date-time":"2008-11-20T09:45:44Z","timestamp":1227174344000},"page":"594129","source":"Crossref","is-referenced-by-count":8,"title":["Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing"],"prefix":"10.1186","volume":"2008","author":[{"given":"Marian","family":"Boldt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Traulsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5","volume-title":"The foundations of Esterel","year":"2000"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"issue":"66","key":"34","first-page":"28","year":"2006"},{"key":"27","year":"2007"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/43.980257"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80443-8"},{"key":"26","volume-title":"Optimization for faster execution of Esterel programs","year":"2004"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/52651"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"issue":"3","key":"35","volume":"7","year":"2008"},{"key":"2","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Requirements for and design of a processor with predictable timing","volume":"03471","year":"2004"},{"key":"21","volume-title":"Exact low-level runtime analysis of synchronous programs for formal verification of real-time systems","year":"2003"},{"key":"16","volume-title":"On the development of reactive systems","year":"1985"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/48979"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T08:29:57Z","timestamp":1321518597000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2008\/1\/594129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008]]}},"alternative-id":["1687-3963-2008-594129"],"URL":"https:\/\/doi.org\/10.1155\/2008\/594129","relation":{},"ISSN":["1687-3963"],"issn-type":[{"value":"1687-3963","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}