Behrmann, Gerd, m.fl. “Efficient Guiding Towards Cost-Optimality in UPPAAL”. BRICS Report Series, bd. 8, nr. 4, januar 2001, doi:10.7146/brics.v8i4.20458.