Code Synthesis for Timed Automata