Skip to content

Fix 'This transformation generate' typo in CIF to CIF eliminate state/event exclusion invariants documentation