Efficient Schedulability Analysis of Semi-Clairvoyant Sporadic Task Systems With Graceful Degradation.