Verification of spatiotemporal continuous complex event processing rules by a synthesized data set | IEEE Conference Publication | IEEE Xplore