Prof. U. A. Jogalekar, Manisha Umak,. “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, no. 07 (July 23, 2015). Accessed July 1, 2024. https://igmpublication.org/ijetst.in/index.php/ijetst/article/view/823.