SMS dit: Formal Aspects of Component Software