Binary decision diagrams applied to fault tree analysis | Publicación