Identification of independent modules in fault trees which contain dependent basic events · Study