Osaiweran, Ammar, trans. 2025. “Validating Quality Metrics of State Machine Models”. Journal of Engineering and Technological Sciences - JOEATS 3 (2): 118-43. https://doi.org/10.59421/joeats.v3i2.2534.