Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability. (February 2017)