{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:12:36Z","timestamp":1762917156771},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coase.2008.4626431","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T13:55:06Z","timestamp":1222264506000},"page":"1-7","source":"Crossref","is-referenced-by-count":10,"title":["Verification of ECA rule based management and control systems"],"prefix":"10.1109","author":[{"given":"Jing","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Moyne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dawn","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897329"},{"key":"11","first-page":"255","author":"nazareth","year":"1989","journal-title":"Issues in the verification of knowledge in rule-based systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MICAI.2006.44"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.880857"},{"journal-title":"Aurora A new model and architecture for data stream management","year":"2003","author":"abadi","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133410"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/69.224193"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528267"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/EIT.2006.252102"},{"key":"4","first-page":"254","article-title":"practical applications of triggers and constraints: success and lingering issues","author":"ceri","year":"2000","journal-title":"Proc the 28th International Conference on Very Large Data Bases"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90043-K"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Conference on Automation Science and Engineering (CASE 2008)","start":{"date-parts":[[2008,8,23]]},"location":"Arlington, VA","end":{"date-parts":[[2008,8,26]]}},"container-title":["2008 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4622934\/4626395\/04626431.pdf?arnumber=4626431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:04:36Z","timestamp":1489752276000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4626431\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/coase.2008.4626431","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}