@inproceedings{struck:hal-00735640, TITLE = {{Multi-Objective Optimization of Formal Specifications}}, AUTHOR = {Struck, Simon and Lipaczewski, Michael and Ortmeier, Frank and G{\"u}demann, Matthias}, URL = {https://hal.inria.fr/hal-00735640}, BOOKTITLE = {{HASE - 14th High Assurance System Engineering Symposium - 2012}}, ADDRESS = {Omaha, United States}, PUBLISHER = {{IEEE}}, PAGES = {201-208}, YEAR = {2012}, MONTH = Oct, DOI = {10.1109/HASE.2012.21}, HAL_ID = {hal-00735640}, HAL_VERSION = {v1}, }