Hierarchical synthesis based on pareto-optimal fronts | Publicación