Dynamic Event Trees for Probabilistic Safety Analysis