Quantification of sequential failure logic for fault tree analysis · Study