BeepBeep, Complex Event Processing, Event Stream Processing, position paper, runtime verification, tool paper, tools.