Library rt.model.jitter.priority
(* Because we define EDF using the *actual job arrivals*, we can safely import the original of priority. *)
Require
Export
rt.model.basic.priority
.