Paucar, Luis Hernán García, Bencomo, Nelly, "Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes", , 2025