Explaining quality attribute tradeoffs in automated planning for self-adaptive systems | Publicación