Library rt.model.apa.task_arrival
(* The notion of interarrival times does not change under APA scheduling. *)
Require
Export
rt.model.basic.task_arrival
.