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