Library rt.model.apa.schedule

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