Utility-Based Scheduling of (m, k) -Firm Real-Time Task Sets