Foreign application of FaultTree+ and Monte Carlo simulation for dynamic fault tree analysis