On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)