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