@inproceedings{ColomboFLRSSS18,
  author    = {Christian Colombo and
               Yli{\`{e}}s Falcone and
               Martin Leucker and
               Giles Reger and
               C{\'{e}}sar S{\'{a}}nchez and
               Gerardo Schneider and
               Volker Stolz},
  title     = {{COST} Action {IC1402} Runtime Verification Beyond Monitoring},
  booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
               Cyprus, November 10-13, 2018, Proceedings},
  pages     = {18--26},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03769-7\_2},
  doi       = {10.1007/978-3-030-03769-7\_2},
}