IVERSEN, Torsten K.; KRISTOFFERSEN, Kåre J.; LARSEN, Kim G.; LAURSEN, Morten; MADSEN, Rune G.; MORTENSEN, Steffen K.; PETTERSSON, Paul; THOMASEN, Chris 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: 5 dec. 2025.