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