Iversen, T. K., Kristoffersen, K. J., Larsen, K. G., Laursen, M., Madsen, R. G., Mortensen, S. K., Pettersson, P., & Thomasen, C. B. (1999). Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL. BRICS Report Series, 6(53). https://doi.org/10.7146/brics.v6i53.20123