Software System Model Correctness using Graph Theory: A Review. (2023). Global Journal of Computer Science and Technology, 23(H1), 25-31. https://testing.computerresearch.org/index.php/computer/article/view/102294