Havelund, Klaus, Kim G. Larsen, and Arne Skou. “Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL”. BRICS Report Series 6, no. 8 (January 8, 1999). Accessed November 29, 2021. https://tidsskrift.dk/brics/article/view/20065.