Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems | Read Paper on Bytez