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 2024Nov.23];2(07). Available from: http://igmpublication.org/ijetst.in/index.php/ijetst/article/view/823