Invia SMS: Formal models and semantics :