TESLA: a formally defined event specification language
The CQL continuous query language: semantic foundations and query execution