Text this: Formal Aspects of Component Software