lalouci, A. Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models With USE Approach. JETIA 2026, 12, 538-548.