Havelund, K.; Larsen, K. G.; Skou, A. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. BRICS 1999, 6.