Validating Quality Metrics of State Machine Models. JOEATS . 2025;3(2):118-143. doi:10.59421/joeats.v3i2.2534