[1]
T. K. Iversen, “Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL”, BRICS, vol. 6, no. 53, Dec. 1999.