Title: Formal Aspects of Component Software