Enviar por SMS: Tutorial Notes. High level Modeling and Formal Verification :