GOURMET: A Methodology for Realizing Goal-Driven Self-Adaptation | IEEE Conference Publication | IEEE Xplore