Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics