1 2 3
Checking cspFiles/RuleInterleaveOfBUF1_BUF0_PROT2_Inter.cspChecking STOP [T= RUN(inter(events(BUF1),events(BUF0_PROT2_Inter)))