State Diagram: TOP:malfunctioncontroller