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