Αποστολή με SMS: Practical TLA+