“Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach” (2015) International Journal of Emerging Trends in Science and Technology, 2(07). Available at: https://ijetst.in/index.php/ijetst/article/view/823 (Accessed: 24 October 2026).