Library rt.model.jitter.task_arrival

(* Interarrival times are specified by the environment and are based on the
original arrival times. We can import the original definitions. *)
Require Export rt.model.basic.task_arrival.