Leram - Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon ... 4-6, 2012, Revised Selected Papers: 7606