Envoyer par SMS: Formal Methods in System Design