Efficient integrity checking for essential MOF + OCL in software repositories Garcia, Miguel 2008 - TUHH Open Research