Efficient Integrity Checking for Essential MOF + OCL in Software Repositories. | Publicación