Αποστολή με SMS: Introduction to the formal method