Text this: Constraint analysis for extended dynamic fault tree