Dependability assessment using binary decision diagrams (BDDs) | IEEE Conference Publication | IEEE Xplore