Added a few methods in the TimerManager.

Related to #30.