Library rt.model.apa.workload

(* The definition of workload does not change under APA scheduling. *)
Require Export rt.model.basic.workload.