Which scheduling is the basis for a number of formal proofs of schedulability?

• A. LL
• B. RMS
• C. LST
• D. EDD