BENGTSSON, J.; LARSEN, K.; LARSSON, F.; PETTERSSON, P.; YI, W. UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems. BRICS Report Series, v. 3, n. 58, 28 Jun. 1996.