Using probabilistic model checking for dynamic power management (2003)

by G Norman, D Parker, M Kwiatkowska, S Shukla, R Gupta
Venue:In Proc. of Third Workshop on Automated Veri of Critical Systems