Efficient construction of binary decision diagrams for network reliability with imperfect vertices. - Jun Kawahara; Koki Sonoda; Takeru Inoue; Shoji Kasahara (Reliab. Eng. Syst. Saf., 2019)