A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee