J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, “UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems”, BRICS, vol. 3, no. 58, Jun. 1996.