Woonseok Kim Jihong Kim Sang Lyul Min Dynamic voltage scaling algorithm for fixed-priority real-time systems using work-demand analysis. 396-401 2003 conf/islped/2003 ISLPED http://doi.acm.org/10.1145/871506.871605 db/conf/islped/islped2003.html#KimKM03