Efficient Multipattern Event Processing Over High-Speed Train Data Streams
TESLA: a formally defined event specification language