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.