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