An open-source application to model and solve dynamic fault tree of real industrial systems | IEEE Conference Publication | IEEE Xplore