Behrmann, Gerd, et al. “Efficient Guiding Towards Cost-Optimality in UPPAAL”. BRICS Report Series, vol. 8, no. 4, Jan. 2001, doi:10.7146/brics.v8i4.20458.