State Diagram: TOP:WaitingForTimer