G. Behrmann, A. Fehnker, T. S. Hune, K. G. Larsen, P. Pettersson, og J. Romijn, “Efficient Guiding Towards Cost-Optimality in UPPAAL”, BRICS, bd. 8, nr. 4, jan. 2001.