Evaluation of runtime monitoring methods for real-time event streams | IEEE Conference Publication | IEEE Xplore