Multi-objective Optimization of Formal Specifications | IEEE Conference Publication | IEEE Xplore