Paucar, L. H. G., & Bencomo, N. (2019, December). Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. Presented at 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, Umea, Sweden, June 16-20, 2019