A comparison of two synthesis methods for timed discrete-event systems | IEEE Conference Publication | IEEE Xplore