2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/96224International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CuBES) 2017