Formal Verification of Live Sequence Charts -- Session 9. Time -- Symmetry Reduction for