Qiang Wu Philo Juang Margaret Martonosi Li-Shiuan Peh Douglas W. Clark Formal Control Techniques for Power-Performance Management. 52-62 2005 25 IEEE Micro 5 http://doi.ieeecomputersociety.org/10.1109/MM.2005.87 db/journals/micro/micro25.html#WuJMPC05