State Diagram: TOP:WaitingToStart