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