Відправити по sms: Formal Modelling in Electronic Commerce