Dong-In Kang, Stephen P. Crago, Jinwoo Suh: A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System. RTSS 2002: 225-234