Αποστολή με SMS: Formal software development