An ordering heuristic for building binary decision diagrams from fault-trees | IEEE Conference Publication | IEEE Xplore