@misc{indiciaee51d72f63ef6, title = {Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems}, author = {Danny Weyns and Usman Iftikhar}, year = {2021}, url = {https://arxiv.org/abs/2112.06198}, note = {Source identifier: 2112.06198} }