M. U. Prof. U. A. Jogalekar, “Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach”, ijetst, vol. 2, no. 07, Jul. 2015.