Iversen, T. K. (1999) “Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL”, BRICS Report Series, 6(53). doi: 10.7146/brics.v6i53.20123.