Han-Saem Yun Jihong Kim On energy-optimal voltage scheduling for fixed-priority hard real-time systems. 393-430 2003 2 ACM Trans. Embedded Comput. Syst. 3 http://doi.acm.org/10.1145/860176.860183 db/journals/tecs/tecs2.html#YunK03