Efficient algorithms for the algebraic analysis of system reliability | Publicación