Αποστολή με SMS: Model-Based Safety and Assessment