Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers - Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Drechsler (2018)