lalouci, Ali. “Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models With USE Approach”. ITEGAM-JETIA 12, no. 58 (March 25, 2026): 538-548. Accessed May 7, 2026. https://itegam-jetia.org/journal/index.php/jetia/article/view/3176.