An algorithm for generating model-sensitive search plans for pattern matching on EMF models