{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:03Z","timestamp":1761488103324},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428811","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"972-979 Vol.1","source":"Crossref","is-referenced-by-count":14,"title":["Modular verification of modular finite state machines"],"prefix":"10.1109","author":[{"given":"E.W.","family":"Endsley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.M.","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"10","article-title":"Automatic logic generation for reconfigurable cell-based manufacturing systems","author":"almeida","year":"2004","journal-title":"Proceedings of the IFAC Workshop on Discrete Event Systems (WODES)"},{"journal-title":"Modular Finite Stale Machines for Logic Control Theory Verification and Applications to Reconfigurable Manufacturing Systems","year":"2004","author":"endsley","key":"1"},{"journal-title":"Hierarchical Interface-based Supervisory Control Version 1 1","year":"2002","author":"leduc","key":"7"},{"journal-title":"Methods and Tools in Supervisory Control Theory Operator Aspects Computational Efficiency and Application","year":"2002","author":"a?kesson","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.880613"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024581"},{"key":"8","article-title":"Logic control using modular FSMs: An evaluation of code re-use","author":"pollice","year":"2002","journal-title":"Proceedings of the 2nd IFAC Conference on Mechatronic Systems"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428811.pdf?arnumber=1428811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T18:17:38Z","timestamp":1489515458000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428811","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}