Leram - Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portug: 5349