Optimal semi-partitioned scheduling in soft real-time systemsJames H. AndersonJeremy P. Ericksonet al.2014RTCSA 2014