Stav dette: Formal aspects of component software