Prof. U. A. Jogalekar MU. Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach. ijetst [Internet]. 2015Jul.23 [cited 2025Feb.24];2(07). Available from: http://ijetst.in/index.php/ijetst/article/view/823