Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker With Mutation Testing Approach. Int. J. Emerg. Trends Sci. Technol. 2015, 2 (07).