RT-PROOFS

Real-time scheduling theory, formalized in Coq