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