Αποστολή με SMS: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers