TESLA: a formally defined event specification language
RACED: an adaptive middleware for complex event detection