An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models | IEEE Conference Publication | IEEE Xplore