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