Αποστολή με SMS: Software engineering and formal methods