Αποστολή με SMS: State-Trace Analysis