“Towards Verification of UML Class Models Using Formal Specification Methods: A Review”. 2023. Global Journal of Computer Science and Technology 23 (H1): 1-7. https://testing.computerresearch.org/index.php/computer/article/view/102296.