@misc{indiciaefaf027bdde63,
  title = {COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1},
  author = {Wolfgang Ahrendt and Cyrille Artho and Christian Colombo and Yliès Falcone and Srdan Krstic and Martin Leucker and Florian Lorber and Joao Lourenço and Leonardo Mariani and César Sánchez and Gerardo Schneider and Volker Stolz},
  year = {2019},
  url = {https://arxiv.org/abs/1902.03776},
  note = {Source identifier: 1902.03776}
}