1. Baresi, L., R. Heckel, S. Thöne and D. Varró, Style-based refinement of dynamic software architectures, in: Proc. of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA4) (2004), pp. 155–164
2. Tool integration at the meta-model level: The fujaba approach;Burmester;Int'l Journal on Software Tools for Technology Transfer,2004
3. Graph processes;Corradini;Fundamenta Informaticae,1996
4. Csertán, G., G. Huszerl, I. Majzik, Z. Pap, A. Pataricza and D. Varró, VIATRA - visual automated transformations for formal verification and validation of UML models, in: Proc. 17th Int'l Conf. Automated Software Engineering (2002), pp. 267–270
5. Overview of formal concepts for model transformations based on typed attributed graph transformation;Ehrig;Electronic Notes in Computer Science,2005