org.eclipse.viatra
org.eclipse.viatra.examples
org.eclipse.viatra.modelobfuscator
org.eclipse.viatra2.vpm