Multicore power management: Ensuring robustness via early-stage formal verification. - Anita Lungu; Pradip Bose; Daniel J. Sorin; Steven German; Geert Janssen (MEMOCODE, 2009)