Analyzing network reliability with imperfect nodes using OBDD | IEEE Conference Publication | IEEE Xplore