Runtime migration of stateful event detectors with low-latency ordering constraints | IEEE Conference Publication | IEEE Xplore