Fix 'This transformation generate' typo in CIF to CIF eliminate state/event exclusion invariants documentation (#1106) · Issues · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet