@inproceedings {GRATRA2000, title = {Designing the Automatic Transformation of Visual Languages}, booktitle = {GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems}, year = {2000}, month = {March 25{\textendash}27}, pages = {14{\textendash}21}, address = {Berlin, Germany}, abstract = {The process of developing dependable, safety-critical systems controlled by computers requires a formal verification of conceptual and architectural choices by using different mathematical tools. According to a novel approach of IT system design, these input models to formal mathematical analysis are transformed automatically from the system model. Up to now, the design and implementation of such transformations was rather ad hoc missing any formal descriptions and methods. In this paper we present our efforts towards a model transformation system based on a powerful integration of graph transformation, planner algorithms and deductive databases in order to obtain an automatically generated, provenly correct and complete transformation code.}, url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2000/gratra2000_vvp.pdf}, author = {D{\'a}niel Varr{\'o} and Gergely Varr{\'o} and Andr{\'a}s Pataricza}, editor = {Hartmut Ehrig and Gabriele Taentzer} }