Bengtsson, J., K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. “UPPAAL in 1995”. BRICS Report Series, vol. 3, no. 60, June 1996, doi:10.7146/brics.v3i60.18772.