Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach. Int. J. Emerg. Trends Sci. Technol. 2015;2(07). Accessed October 24, 2026. https://ijetst.in/index.php/ijetst/article/view/823