Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems. - Menno Bartels; Maurice Laveaux; Thomas Neele; Tim A. C. Willemse (FORTE, 2026)