P. R. Bastos and P. D. Ramos,  "Finite satisfiability verification in UML class diagrams: a comparative study", in IADIS: Int. Journal on Computer Science and Information Systems, vol. 8, no. 1, pp. 97-111, 2013