Prof. U. A. Jogalekar, M.U. 2015. Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach. International Journal of Emerging Trends in Science and Technology. 2, 07 (Jul. 2015).