(2) Boolean matrix creation: The fault tree developed is transformed to a Boolean matrix. If the dimension of the Boolean matrix is too large to be handled by
the available computer, a structural moduling technique may be applied (Shafaghi, 1988; Yllera, 1988). This technique proposes moduling of the fault tree into a number of smaller submodules with dependency relations among them. This reduces the
memory allocation problem as well as makes the computation faster.