Bengtsson, Johan, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, og Wang Yi. “UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems”. BRICS Report Series 3, no. 58 (juni 28, 1996). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/18769.