Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability