Αποστολή με SMS: Process modelling and model analysis