Osaiweran, Ammar, trans. “Validating Quality Metrics of State Machine Models”. Journal of Engineering and Technological Sciences - JOEATS 3, no. 2 (April 11, 2025): 118–143. Accessed April 18, 2026. https://journal.tu.edu.ye/index.php/Joeats/article/view/2534.