@article{rauzy1993newalgorithms,
author	=	{Antoine Rauzy},
title	=	{{N}ew {A}lgorithms for {F}ault {T}rees {A}nalysis},
journal	=	{{R}eliability {E}ngineering and {S}ystem {S}afety},
publisher	=	{Elsevier},
volume	=	{05},
number	=	{59},
pages	=	{203--211},
year	=	{1993},
doi	=	{10.1016/0951-8320(93)90060-C},
abstractfile	=	{Rauzy1993-NewAlgorithmsForFaultTreeAnalysis.html},
pdffile	=	{Rauzy1993-NewAlgorithmsForFaultTreeAnalysis.pdf}
}