VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models