Model-transformation-based computational design synthesis for mission architecture optimization | IEEE Conference Publication | IEEE Xplore