3.5.2 Timers

See section 3.1.2.