Iversen, Torsten K., Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, and Chris B. Thomasen. “Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL”. BRICS Report Series 6, no. 53 (December 23, 1999). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/20123.