Implementing Model Integrity in EMF with MDT OCL