(MA) Approaches to Multi-Objective Optimization of Formal Specifications