A benchmark of dynamic reliability methods for probabilistic safety assessment | IEEE Conference Publication | IEEE Xplore