Enviar por SMS: Formal models and semantics :