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