{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:56:20Z","timestamp":1761580580159},"reference-count":5,"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":[[2008]]},"DOI":"10.1155\/2008\/251957","type":"journal-article","created":{"date-parts":[[2008,3,9]],"date-time":"2008-03-09T08:11:17Z","timestamp":1205050277000},"page":"1-9","source":"Crossref","is-referenced-by-count":13,"title":["Using Visual Specifications in Verification of Industrial Automation Controllers"],"prefix":"10.1186","volume":"2008","author":[{"given":"Valeriy","family":"Vyatkin","sequence":"first","affiliation":[]},{"given":"Gustavo","family":"Bouzon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1008345113376","volume":"8","year":"1999","journal-title":"Journal of Logic, Language, and Information"},{"issue":"1\u20133","key":"13","first-page":"75","volume":"8","year":"2006","journal-title":"International Journal of Manufacturing Technology and Management"},{"issue":"1","key":"14","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1022295414523","volume":"14","year":"2003","journal-title":"Journal of Intelligent Manufacturing"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T05:23:26Z","timestamp":1497763406000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2008\/1\/251957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":5,"alternative-id":["251957","251957"],"URL":"https:\/\/doi.org\/10.1155\/2008\/251957","relation":{},"ISSN":["1687-3955","1687-3963"],"issn-type":[{"value":"1687-3955","type":"print"},{"value":"1687-3963","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}