SMS dit: Formal Modelling in Electronic Commerce