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