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