Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction | IEEE Journals & Magazine | IEEE Xplore