Automated validation & verification of UML/OCL models using satisfiability solvers (2018)