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.