Library rt.model.jitter.time


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