Updated documentation of Timer.cs