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 23, no. H1 (April 25, 2023): 1–7. Accessed July 3, 2024. https://computerresearch.org/index.php/computer/article/view/102296.