Αποστολή με SMS: Handbook of Model Checking