Power Management Methods: From Specification and Modeling, to Techniques and Verification. - Vinod Viswanath; Rajeev Muralidhar; Harinarayanan Seshadri; Ananth S. Narayan (J. Low Power Electron., 2012)