Formal Aspects of Component Software | lit.salon