J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, “UPPAAL in 1995”, BRICS, vol. 3, no. 60, Jun. 1996.