Leakage-aware scheduling for embedded real-time systems with (m, k)-constraints. (1st January 2013)