Incremental Verification of Complex Event Processing Applications for System Monitoring | IEEE Conference Publication | IEEE Xplore