Behrmann, Gerd, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. 2001. “Efficient Guiding Towards Cost-Optimality in UPPAAL”. BRICS Report Series 8 (4). https://doi.org/10.7146/brics.v8i4.20458.