@misc{indiciae299fe470e6b4,
  title = {Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach},
  author = {Zhuoqun Yang and Zhi Jin and Zhi Li},
  year = {2017},
  url = {https://arxiv.org/abs/1704.00869},
  note = {Source identifier: 1704.00869}
}