An open-source application to model and solve dynamic fault tree of real industrial systems · Study