TY - RPRT TI - Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems AU - Danny Weyns AU - Usman Iftikhar PY - 2021 UR - https://arxiv.org/abs/2112.06198 ID - 2112.06198 ER -