Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation - Hutchison, David (Springer Berlin Heidelberg, 2013)