Invia SMS: Principles of Model checking