Semantic-based model matching with EMFcompare