lalouci, A. “Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models With USE Approach”. ITEGAM-JETIA, Vol. 12, no. 58, Mar. 2026, pp. 538-4, doi:10.5935/jetia.v12i58.3176.