Library rt.model.apa.task

(* The notion of a valid task remains the same under APA scheduling. *)
Require Export rt.model.basic.task.