Αποστολή με SMS: Model Checking and Artificial Intelligence