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