Text this: Optimal controller synthesis for timed systems