TY  - RPRT
TI  - Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
AU  - Havelund, Klaus
AU  - Larsen, Kim Guldstrand
AU  - Skou, Arne
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20000070361
ID  - 20000070361
ER  -