{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T04:07:19Z","timestamp":1648786039277},"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\/310147","type":"journal-article","created":{"date-parts":[[2008,11,20]],"date-time":"2008-11-20T14:45:44Z","timestamp":1227192344000},"page":"310147","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis Tools for the Synchronous Aspect Language Larissa"],"prefix":"10.1186","volume":"2008","author":[{"given":"David","family":"Stauch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11","year":"1993"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00016-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.12.001"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/46.5.529"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T13:29:54Z","timestamp":1321536594000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2008\/1\/310147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008]]}},"alternative-id":["1687-3963-2008-310147"],"URL":"https:\/\/doi.org\/10.1155\/2008\/310147","relation":{},"ISSN":["1687-3963"],"issn-type":[{"value":"1687-3963","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}