(1)
Bengtsson, J.; Larsen, K.; Larsson, F.; Pettersson, P.; Yi, W. UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems. BRICS 1996, 3.