Αποστολή με SMS: Formal Modelling in Electronic Commerce