Αποστολή με SMS: Reasoning in Event-Based Distributed Systems