Library rt.model.apa.priority
(* The definition of priority remains the same under APA scheduling. *)
Require
Export
rt.model.basic.priority
.