3 papers:
SAC-MT-J-2006-VarroB07 #framework #model transformation- The model transformation language of the VIATRA2 framework (DV, AB), pp. 214–234.
- SAC-2006-BaloghV #framework #model transformation
- Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation- VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
