Bengtsson, Johan, m.fl. “UPPAAL in 1995”. BRICS Report Series, bd. 3, nr. 60, juni 1996, doi:10.7146/brics.v3i60.18772.