Title: Control synthesis for timed discrete event systems