BEHRMANN, G.; FEHNKER, A.; HUNE, T. S.; LARSEN, K. G.; PETTERSSON, P.; ROMIJN, J. Efficient Guiding Towards Cost-Optimality in UPPAAL. BRICS Report Series, [S. l.], v. 8, n. 4, 2001. DOI: 10.7146/brics.v8i4.20458. Disponível em: https://tidsskrift.dk/brics/article/view/20458. Acesso em: 27 nov. 2024.