@BeforeAll
    static void init() {
        final Framework framework = Framework.getInstance();
        framework.init();
        MpsatTemporalSettings.setLtl2tgbaCommand(BackendUtils.getTemplateToolPath("Spot", "ltl2tgba"));