Supervisory Control of Discrete-Event Systems in an Asynchronous Setting | IEEE Conference Publication | IEEE Xplore