Kruti P. Shah, and Emanuel S. Grant. “Towards Verification of UML Class Models Using Formal Specification Methods: A Review”. Global Journal of Computer Science and Technology, vol. 23, no. H1, Apr. 2023, pp. 1-7, https://computerresearch.org/index.php/computer/article/view/102296.