  In the paper Compositionality of Component Fault Trees, we present a
discussion of the compositionality of correctness of component fault trees. In
this technical report, we present the formal proof of the central theorem of
the aforementioned publication.
