Ermel, ClaudiaEhrig, HartmutOrejas,  FernandoTaentzer, Gabriele2020-06-152020-06-1520101436-9915https://depositonce.tu-berlin.de/handle/11303/11350http://dx.doi.org/10.14279/depositonce-10237en004 Datenverarbeitung; Informatikgraph transformationmodel transformationsoftware system modellingverificationconstraintmodellingPre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010)Research Paper