G. Behrmann, “Minimum-Cost Reachability for Priced Timed Automata”, BRICS, bd. 8, nr. 3, jan. 2001.