Αποστολή με SMS: Model-Checking Based Data Retrieval