Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks · Study