Bengtsson, Johan, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. “UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems”. BRICS Report Series 3, no. 58 (June 28, 1996). Accessed November 24, 2020. https://tidsskrift.dk/brics/article/view/18769.