Fault trees and sequence dependencies · Study