1.
Havelund K, Larsen KG, Skou A. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. BRICS [Internet]. 1999 Jan. 8 [cited 2024 Mar. 28];6(8). Available from: https://tidsskrift.dk/brics/article/view/20065