Seol mar théacs é seo: Formal aspects of component software