Behrmann, Gerd, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. “Efficient Guiding Towards Cost-Optimality in UPPAAL”. BRICS Report Series 8, no. 4 (January 4, 2001). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/20458.