Validating Quality Metrics of State Machine Models. JOEATS [Internet]. 2025 Apr. 11 [cited 2026 Apr. 18];3(2):118-43. Available from: https://journal.tu.edu.ye/index.php/Joeats/article/view/2534