Model-Based Testing for MAPE-K adaptation control loops