Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler, Robert Wille, Nils Przigoda₹9,847