Zaslať SMS: Formal models and semantics :