On complexity and optimization of expensive queries in complex event processing
TESLA: a formally defined event specification language