/*
orders(MSS('IntempestiveNormalMissionStop.O.true')) = 
orders	product-number
1	25
total	25
end
*/
products(MSS('IntempestiveNormalMissionStop.O.true')) = 
{'OperationControl.RobotDecideEmergencyStop.stuck_on_true'}
{'OperationControl.RobotDecideRunwayExit.stuck_on_true'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_true'}
{'OperationControl.RobotReceiveRunwayExit.stuck_on_true'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_true'}
{'OperationControl.SupervisorDecideRunwayExit.stuck_on_true'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_true'}
{'OperationControl.SupervisorSendRunwayExit.stuck_on_true'}
{'OperationMonitoring.ATCAnalyseRunWay.stuck_on_false'}
{'OperationMonitoring.ATCSendRunWayStatus.stuck_on_false'}
{'OperationMonitoring.RobotAnalyseObstacle.stuck_on_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_false'}
{'OperationMonitoring.RobotSelfAnalyse.stuck_on_false'}
{'OperationMonitoring.RobotSendObstacleStatus.stuck_on_false'}
{'OperationMonitoring.RobotSendSelfStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorAnalyseObstacleStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorAnalyseRobotStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorAnalyseRunwayStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorReceiveObstacleStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorReceiveRobotStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorReceiveRunwayStatus.stuck_on_false'}
{'OperationMonitoring.SupervisorSelfAnalyse.stuck_on_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_false'}
{'RobotAction.MoveNormal.fail'}
end