Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation - nidottu, Englanti, 2007