Kruti P. Shah and Emanuel S. Grant, “Towards Verification of UML Class Models using Formal Specification Methods: A Review”, GJCST, vol. 23, no. H1, pp. 1–7, Apr. 2023.