Kruti P. Shah and Emanuel S. Grant 2023. Towards Verification of UML Class Models using Formal Specification Methods: A Review. Global Journal of Computer Science and Technology. 23, H1 (Apr. 2023), 1–7.