An Efficient Partial-Order Characterization Of Admissible Actions For Real-Time Scheduling Of Sporadic Tasks