SMS versenden: Formal aspects of component software