Library rt.model.jitter.workload
(* The workload of a task doesn't depend on jitter, so we keep the original definitions. *)
Require
Export
rt.model.basic.workload
.