/*
orders(MSS('CollisionWithAircraft.O.true')) = 
orders	product-number
2	56
total	56
end
*/
products(MSS('CollisionWithAircraft.O.true')) = 
{'OperationControl.RobotDecideEmergencyStop.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.RobotDecideRunwayExit.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.RobotReceiveEmergencyStop.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.RobotReceiveRunwayExit.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.SupervisorDecideEmergencyStop.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.SupervisorDecideRunwayExit.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.SupervisorSendEmergencyStop.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationControl.SupervisorSendRunwayExit.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.ATCAnalyseRunWay.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.ATCSendRunWayStatus.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotAnalyseObstacle.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotSelfAnalyse.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotSendObstacleStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.RobotSendSelfStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorAnalyseObstacleStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorAnalyseRobotStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorAnalyseRunwayStatus.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorReceiveObstacleStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorReceiveRobotStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorReceiveRunwayStatus.stuck_on_true', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorSelfAnalyse.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_false', 'RealWorld.RunWayClosed.is_false'}
{'RealWorld.RobotSafe.is_false', 'RealWorld.RunWayClosed.is_false'}
{'RealWorld.RunWayClear.is_false', 'RealWorld.RunWayClosed.is_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.RobotDecideEmergencyStop.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.RobotDecideRunwayExit.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.RobotReceiveEmergencyStop.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.RobotReceiveRunwayExit.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.SupervisorDecideEmergencyStop.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.SupervisorDecideRunwayExit.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.SupervisorSendEmergencyStop.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationControl.SupervisorSendRunwayExit.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.ATCAnalyseRunWay.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.ATCSendRunWayStatus.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotAnalyseObstacle.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotAnalyseSupervisorStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotReceiveSupervisorStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotSelfAnalyse.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotSendObstacleStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.RobotSendSelfStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorAnalyseObstacleStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorAnalyseRobotStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorAnalyseRunwayStatus.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorReceiveObstacleStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorReceiveRobotStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorReceiveRunwayStatus.stuck_on_true'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorSelfAnalyse.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'OperationMonitoring.SupervisorSendSelfStatus.stuck_on_false'}
{'RealWorld.RunWayClosed.is_false', 'RealWorld.RobotSafe.is_false'}
{'RealWorld.RunWayClosed.is_false', 'RealWorld.RunWayClear.is_false'}
{'RealWorld.RunWayClosed.is_false', 'RealWorld.SupervisionSafe.is_false'}
{'RealWorld.RunWayClosed.is_false', 'RobotAction.ExitRunway.fail'}
{'RealWorld.SupervisionSafe.is_false', 'RealWorld.RunWayClosed.is_false'}
{'RobotAction.ExitRunway.fail', 'RealWorld.RunWayClosed.is_false'}
end