Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversDrechsler, Rolf177,30€