Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata | IEEE Journals & Magazine | IEEE Xplore