Combined Use of Bilevel Programming and Multi-objective Optimization for Rigorous Analysis of Pareto Fronts in Sustainability Studies: Application to the Redesign of the UK Electricity Mix | Publicación