Formal verification of a power controller using the real-time model checker UPPAAL (1999)

by K Havelund, K G Larsen, A Skou
Venue:In Proceedings of 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, LNCS 1601