Return to Article Details Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach Download Download PDF