15.3 Interval Clocks