Energy aware kernel for hard real-time systems. - A. Goel; C. Mani Krishna 001; Israel Koren (CASES, 2005)