Event-tree analysis using binary decision diagrams | IEEE Journals & Magazine | IEEE Xplore