G. Behrmann, “Minimum-Cost Reachability for Priced Timed Automata”, BRICS, vol. 8, no. 3, Jan. 2001.