Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure | IEEE Conference Publication | IEEE Xplore