classes = new ClassesPanel(model);
stations = new StationsPanel(model, model);
connections = new ConnectionsPanel(model);
parameters = new AllStationsParametersPanel(model, model);
measures = new MeasurePanel(model, model, model);
rspl = new RSPLPanel(model, model, model);
simulation = new SimulationPanel(model, model, model, this);
parametricAnalysis = new ParametricAnalysisPanel(model, model, model, this);
blocking = new AllBlockingRegionsPanel(model, model, model);
initComponents();
mc = new ModelChecker(model, model, model, model, false);