Αποστολή με SMS: Interactive Systems. Design, Specification, and Verification