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