Hichem Debbi, Mustapha Bourahla: Causal analysis of probabilistic counterexamples. MEMOCODE 2013: 77-86