Zaslať SMS: Principles of Model checking