{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:30:23Z","timestamp":1764783023407},"reference-count":9,"publisher":"Springer Science and Business Media LLC","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["EURASIP Journal on Embedded Systems"],"published-print":{"date-parts":[[2007]]},"DOI":"10.1155\/2007\/59130","type":"journal-article","created":{"date-parts":[[2007,9,25]],"date-time":"2007-09-25T07:48:48Z","timestamp":1190706528000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation"],"prefix":"10.1186","volume":"2007","author":[{"given":"Lionel","family":"Morel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102806"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625969"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"issue":"1","key":"34","first-page":"76","volume":"1","year":"1975","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,3,2]],"date-time":"2011-03-02T05:08:16Z","timestamp":1299042496000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2007\/1\/059130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":9,"alternative-id":["059130","59130"],"URL":"https:\/\/doi.org\/10.1155\/2007\/59130","relation":{},"ISSN":["1687-3955"],"issn-type":[{"value":"1687-3955","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}