{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:18:32Z","timestamp":1761488312774},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/coase.2009.5234184","type":"proceedings-article","created":{"date-parts":[[2009,9,11]],"date-time":"2009-09-11T18:10:59Z","timestamp":1252692659000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers"],"prefix":"10.1109","author":[{"given":"L. V.","family":"Allen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. M.","family":"Goh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. M.","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275709"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417418"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6266-7_41"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355187"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE059E"},{"journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design","year":"0","author":"vyatkin","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678427"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.900670"},{"key":"1","article-title":"reconfigurable factory testbed (rft): a distributed testbed for reconfigurable manufacturing systems","author":"moyne","year":"0","journal-title":"JUSFA 04"},{"journal-title":"IEC 61499-61501 Function blocks part 1 Architecture","year":"0","key":"10"},{"key":"7","article-title":"progress on the state explosion problem in model checking","author":"clarke","year":"0","journal-title":"Informatics 10 Years Back 10 Years Ahead LNCS '01"},{"key":"6","article-title":"polynomial-time verification of diagnosability of partially observed discrete-event systems","author":"yoo","year":"0","journal-title":"IEEE TAC '02"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184460"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824795"},{"journal-title":"Input Order Robustness Guaranteeing Closed-loop Determinism for Non-deterministic Environments","year":"2009","author":"allen","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00121261"}],"event":{"name":"2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)","start":{"date-parts":[[2009,8,22]]},"location":"Bangalore, India","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5227795\/5234081\/05234184.pdf?arnumber=5234184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:34:29Z","timestamp":1489811669000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5234184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/coase.2009.5234184","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}