TESLA: a formally defined event specification language
High-performance complex event processing over streams