Efficient analysis of event processing applications
A survey on reactive programming