Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool · Study