Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers - Przigoda, Nils (Springer International Publishing, 2020)