Iversen TK, Kristoffersen KJ, Larsen KG, Laursen M, Madsen RG, Mortensen SK, Pettersson P, Thomasen CB. Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL. BRICS [Internet]. 1999 Dec. 23 [cited 2024 Apr. 19];6(53). Available from: https://tidsskrift.dk/brics/article/view/20123