@article{dutuit1996modules,
author	=	{Yves Dutuit and Antoine Rauzy},
title	=	{A {L}inear {T}ime {A}lgorithm to {F}ind {M}odules of {F}ault {T}rees},
journal	=	{IEEE Transactions on Reliability},
publisher	=	{IEEE Reliability Society},
volume	=	{45},
number	=	{3},
pages	=	{422--425},
year	=	{1996},
doi	=	{10.1109/24.537011},
abstractfile	=	{DutuitRauzy1996-ModulesOfFaultTrees.html},
psfile	=	{DutuitRauzy1996-ModulesOfFaultTrees.ps},
pdffile	=	{DutuitRauzy1996-ModulesOfFaultTrees.pdf}
}