Model-Based Testing for MAPE-K adaptation control loops | IEEE Conference Publication | IEEE Xplore