Co-evolution of metamodels and models through consistent change propagation