Library rt.model.jitter.time

(* The definition of time is the same. *)
Require Export rt.model.basic.time.