Authors: Vemuri, KK Dugan, JB Sullivan, KJ

Citation: Kk. Vemuri et al., Automatic synthesis of fault trees for computer-based systems, IEEE RELIAB, 48(4), 1999, pp. 394-402