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