Envoyer par SMS: Principles of Model checking