Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation - Hutchison, David; Kanade, Takeo; Ayala, José L.; Shang, Delong; Yakovlev, Alex (Springer Berlin Heidelberg, 2013)