Difference-based Conformance Checking for Ecore Metamodels.
The Palladio component model for model-driven performance prediction