Automated validation & verification of UML/OCL models using satisfiability solvers - Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf (Springer International Publishing AG, 2018)