Αποστολή με SMS: Modelling Distributed Systems