Scheduling Techniques for Reducing Leakage Power in Hard Real-Time Systems. - Yann-Hang Lee; Krishna P. Reddy; C. Mani Krishna 001 (ECRTS, 2003)