Αποστολή με SMS: Process Algebra and Probabilistic Methods. Performance Modelling and Verification