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