PROF. U. A. JOGALEKAR, M. U. 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, v. 2, n. 07, 23 Jul. 2015.