FeatureSpecification spec = this.loadFeatureSpecification(options.inputFeatureSpecFile);
Model model = this.loadModel(options.inputModelFile);
interactiveController.setModel(model);
interactiveController.setFeatureSpecification(spec);
interactiveController.run();
System.out.println();
System.out.println("== Saving Output ==");
MessageSet messages = interactiveController.getMessageSet();