Osaiweran, A. tran. 2025. Validating Quality Metrics of State Machine Models. Journal of Engineering and Technological Sciences - JOEATS . 3, 2 (Apr. 2025), 118–143. DOI:https://doi.org/10.59421/joeats.v3i2.2534.