1. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual automated transformations for formal verification and validation of UML models. In: Richardson, J., Emmerich, W., Wile, D. (eds.) Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, September 23–27, pp. 267–270. IEEE Press, Los Alamitos (2002)
2. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture (2003)
3. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol. 2. World Scientific Publishing Co., Inc., Singapore (1999)
4. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories. Wiley Publising Inc., Chichester (2004)
5. Heckel, R., Küster, J., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In: Proc. AGT 2002: Workshop on Applied Graph Transformation, pp. 174–188 (2002)