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