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