Thomasen, Chris B.

• BRICS Report Series No. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL - Articles
  Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
  Abstract  PDF