“Towards Verification of UML Class Models using Formal Specification Methods: A Review”, GJCST, vol. 23, no. H1, pp. 1–7, Apr. 2023, Accessed: Feb. 03, 2026. [Online]. Available: https://testing.computerresearch.org/index.php/computer/article/view/102296