Have you tried the new fault trees? Moreover, there are formally defined!!
0
0
0
0
0