lalouci, A. (2026) “Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach”, ITEGAM-JETIA, 12(58), pp. 538-548. doi: 10.5935/jetia.v12i58.3176.