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