Αποστολή με SMS: Rewriting Logic and Its Applications