Bastos, P. & Ramos, P. (2013). Finite satisfiability verification in UML class diagrams: a comparative study. IADIS: International Journal on Computer Science and Information Systems. 8 (1), 97-111