Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - Leuken, René; Kanade, Takeo; Sicard, Gilles; Kittler, Josef (Springer Berlin Heidelberg, 2011)