Library rt.model.jitter.task
(* Since the worst-case jitter of a task is unbounded, we don't need to
define any specific properties for a task with jitter.*)
Require
Export
rt.model.basic.task
.