Behrmann, G.; Fehnker, A.; Hune, T. S.; Larsen, K. G.; Pettersson, P.; Romijn, J. Efficient Guiding Towards Cost-Optimality in UPPAAL. BRICS 2001, 8.