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