Envoyer par SMS: Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications