Multicore power management: Ensuring robustness via early-stage formal verificationAnita LunguPradip Boseet al.2009MEMOCODE 2009