Enviar por SMS: Principles of Model checking