Graph and Model Transformation: General Framework and Applications

Fundamentals of Algebraic Graph Transformation

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report