Behrmann, G.; Fehnker, A.; Hune, T. S.; Larsen, K. G.; Pettersson, P.; Romijn, J.; Vaandrager, F. W. Minimum-Cost Reachability for Priced Timed Automata. BRICS 2001, 8.