Taentzer, 2004. AGG: A Graph Transformation Environment for Modeling and Validation of Software, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-25959-6_35