SMS versenden: Formal models and semantics :