Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - Ayala, José L. (Springer Berlin Heidelberg, 2011)