  In this paper we introduce a notion of counterfactual causality in the
Halpern and Pearl sense that is compositional with respect to the interleaving
of transition systems. The formal framework for reasoning on what caused the
violation of a safety property is established in the context of labeled
transition systems and Hennessy Milner logic. The compositionality results are
devised for non-communicating systems.
