Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P., & Romijn, J. (2001). Efficient Guiding Towards Cost-Optimality in UPPAAL. BRICS Report Series, 8(4). https://doi.org/10.7146/brics.v8i4.20458