Quantitative Verification for Monitoring Event-Streaming Systems | IEEE Journals & Magazine | IEEE Xplore