Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach - lalouci, Ali (ITEGAM-JETIA, 2026)