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.