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