PROF. U. A. JOGALEKAR, M. U. 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, [S. l.], v. 2, n. 07, 2015. Disponível em: http://igmpublication.com/ijetst.in/index.php/ijetst/article/view/823. Acesso em: 31 jan. 2025.