https://123dok.org/document/zpn6j78v-learning-failures-machine-learning-based-monitoring-runtime-verification.html