Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers - José L. Ayala, Delong Shang, Alex Yakovlev ((Lecture Notes in Computer Science))