Bengtsson, Johan, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. “UPPAAL in 1995”. BRICS Report Series 3, no. 60 (June 30, 1996). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/18772.