{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:20:46Z","timestamp":1753885246565,"version":"3.41.2"},"reference-count":0,"publisher":"Inderscience Publishers","issue":"3\/4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJCCBS"],"published-print":{"date-parts":[[2014]]},"DOI":"10.1504\/ijccbs.2014.064668","type":"journal-article","created":{"date-parts":[[2014,9,4]],"date-time":"2014-09-04T17:17:38Z","timestamp":1409851058000},"page":"218","source":"Crossref","is-referenced-by-count":1,"title":["Controllability for discrete event systems modelled in VeriJ"],"prefix":"10.1504","volume":"5","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"additional","affiliation":[]},{"given":"Lom Messan","family":"Hillah","sequence":"additional","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"Yann Thierry","family":"Mieg","sequence":"additional","affiliation":[]}],"member":"378","container-title":["International Journal of Critical Computer-Based Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2014,9,4]],"date-time":"2014-09-04T17:17:43Z","timestamp":1409851063000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=64668"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":0,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2014]]}},"URL":"https:\/\/doi.org\/10.1504\/ijccbs.2014.064668","relation":{},"ISSN":["1757-8779","1757-8787"],"issn-type":[{"type":"print","value":"1757-8779"},{"type":"electronic","value":"1757-8787"}],"subject":[],"published":{"date-parts":[[2014]]},"article-number":"64668"}}