Library rt.model.jitter.response_time
(* Since jitter does not change the notion of response time, we keep
the original definitions. *)
Require
Export
rt.model.basic.response_time
.