Envoyer par SMS: Formal Aspects of Component Software