@misc{indiciae8827ba3a5225,
  title = {ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems},
  author = {Danny Weyns and M. Usman Iftikhar},
  year = {2022},
  url = {https://arxiv.org/abs/1908.11179},
  note = {Source identifier: 1908.11179}
}