IVERSEN, T. K.; KRISTOFFERSEN, K. J.; LARSEN, K. G.; LAURSEN, M.; MADSEN, R. G.; MORTENSEN, S. K.; PETTERSSON, P.; THOMASEN, C. B. Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL. BRICS Report Series, [S. l.], v. 6, n. 53, 1999. DOI: 10.7146/brics.v6i53.20123. Disponível em: https://tidsskrift.dk/brics/article/view/20123. Acesso em: 18 apr. 2024.