lalouci A. Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach. JETIA [Internet]. 25Mar.2026 [cited 7May2026];12(58):538-4. Available from: https://itegam-jetia.org/journal/index.php/jetia/article/view/3176