György Csertán Gábor Huszerl István Majzik Zsigmond Pap András Pataricza Dániel Varró VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. 267-270 2002 conf/kbse/2002 ASE http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360267abs.htm db/conf/kbse/ase2002.html#CsertanHMPPV02