Enviar aquest missatge de text: Formal aspects of component software