Towards a sound semantics for dynamic fault trees. - Antoine Rauzy; Chaire Blériot-Fabre (Reliab. Eng. Syst. Saf., 2015)