T. K. Iversen, “Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL”, BRICS, bd. 6, nr. 53, dec. 1999.