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). https://www.ijetst.in/index.php/ijetst/article/view/823