Michael Roth, Christoffer von Beetzen, Udo Lindemann: Matrix-based multi-hierarchy fault tree generation and evaluation. SysCon 2016: 1-7