A. lalouci, “Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach”, JETIA, vol. 12, no. 58, pp. 538-548, Mar. 2026.