“Towards Verification of UML Class Models using Formal Specification Methods: A Review” (2023) Global Journal of Computer Science and Technology, 23(H1), pp. 1–7. Available at: https://testing.computerresearch.org/index.php/computer/article/view/102296 (Accessed: 3 February 2026).