Prof. U. A. Jogalekar, M. U. Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker With Mutation Testing Approach. ijetst 2015, 2.