Αποστολή με SMS: Formal Aspects of Component Software