Energy-efficient dual-voltage soft real-time system with (m, k)-firm deadline guarantee