3.9.2 Timers

See section 3.5.2.