Wyślij wiadomość: Formal aspects of component software