Embedded supervisory control of discrete-event systems | IEEE Conference Publication | IEEE Xplore