On the numerical solution of fault trees · Study