Prof. U. A. Jogalekar, Manisha Umak,. 2015. “Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker With Mutation Testing Approach”. International Journal of Emerging Trends in Science and Technology 2 (07). http://igmpublication.org/ijetst.in/index.php/ijetst/article/view/823.