| NAME: FAULT | |
| CONDITION: (CN.cmd_to_BB2 = cmd_open & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Closed#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.event = stuckAt_Closed#failure)) | (CN.cmd_to_BB2 = cmd_closed & (SC.BB2.Switch_StuckClosed_StuckOpen.mode = stuckAt_Open#FAULT | SC.BB2.Switch_StuckClosed_StuckOpen.event = stuckAt_Open#failure)) | |
| TYPE: finite |