LALOUCI, A. Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach. ITEGAM-JETIA, v. 12, n. 58, p. 538-548, 25 mar. 2026.