sur 13
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers — Rolf Drechsler, Robert Wille, Nils Przigoda, Judith Przigoda