[timer] Formalise the timer API