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