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