Translation of Intermediate Language to Timed Automata with Discrete Data