engine.setDeSimulationLauncher(new VdmRtLauncher());
engine.setDeModel(new DeModelConfig(new File(base, "model_de")));
engine.setDeEndpoint(new URL("http://127.0.0.1:8080/xmlrpc"));
engine.setCtSimulationLauncher(new Clp20SimLauncher());
engine.setCtModel(new CtModelConfig(new File(new File(base, "model_ct"), ctModelName)));
engine.setCtEndpoint(new URL("http://localhost:1580"));
Listener listener = new Listener();
engine.engineListeners.add(listener);