Enviar por SMS: Principles of model checking