Αποστολή με SMS: Model-Based Software Performance Analysis