A tool for automatically translating dynamic fault trees into dynamic bayesian networks · Study