Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha. A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 119-126, IEEE Computer Society, 2005. [doi]