Updated specs for TimerSet.