/*
orders(MSS('DegradedRobotOperation.O.true')) = 
orders	product-number
2	6
total	6
end
*/
products(MSS('DegradedRobotOperation.O.true')) = 
{'OperationControl.RobotDecideEmergencyStop.stuck_on_false', 'RealWorld.RobotSafe.is_false'}
{'OperationMonitoring.RobotSelfAnalyse.stuck_on_true', 'RealWorld.RobotSafe.is_false'}
{'RealWorld.RobotSafe.is_false', 'OperationControl.RobotDecideEmergencyStop.stuck_on_false'}
{'RealWorld.RobotSafe.is_false', 'OperationMonitoring.RobotSelfAnalyse.stuck_on_true'}
{'RealWorld.RobotSafe.is_false', 'RobotAction.StopMove.fail'}
{'RobotAction.StopMove.fail', 'RealWorld.RobotSafe.is_false'}
end