J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, og W. Yi, “UPPAAL in 1995”, BRICS, bd. 3, nr. 60, jun. 1996.