Enviar Registro por Correo electrónico: Automated validation & verification of UML/OCL models using satisfiability solvers /