Αποστολή με SMS: Web Services and Formal Methods