Ehrig H. Graph and Model Transformation. General Framework and Applications 2016