Αποστολή με SMS: A Practical Theory of Reactive Systems