Added referential integrity constraint for valid state and event names in transition rules-section of FSM
Authored by: lonfield 2024-11-30
Parent: [r434]
Child: [r436]