Kruti P. Shah; Emanuel S. Grant. Towards Verification of UML Class Models Using Formal Specification Methods: A Review. GJCST 2023, 23, 1-7.