Formal specification of dynamic fault tree based on sequence failure symbol