State Diagram: TOP:received