Havelund K, Larsen KG, Skou A. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. BRICS [Internet]. 8. januar 1999 [henvist 5. december 2025];6(8). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20065