Αποστολή με SMS: Formal description techniques :