Library rt.model.jitter.schedulability
(* Jitter doesn't affect the notion of deadline miss, so we can safely
import the basic definitions. *)
Require
Export
rt.model.basic.schedulability
.