Alomar, M. L., Canals, V., Martinez-Moll, V. · 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) · 2014