“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://www.ijetst.in/index.php/ijetst/article/view/823 (Accessed: 25 October 2026).