A. Osaiweran, Tran., “Validating Quality Metrics of State Machine Models”, JOEATS , vol. 3, no. 2, pp. 118–143, Apr. 2025, doi: 10.59421/joeats.v3i2.2534.