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