@article{myers2008efficientalgorithm,
author	=	{Andrew Myers and Antoine Rauzy},
title	=	{Efficient reliability assessment of redundant systems subject to imperfect fault coverage using binary decision diagrams},
journal	=	{IEEE Transactions on Reliability},
publisher	=	{IEEE Reliability Society},
volume	=	{57},
number	=	{2},
pages	=	{336--348},
year	=	{2008},
doi	=	{10.1109/TR.2008.916884},
abstractfile	=	{Rauzy2005-MultiModeIndependentComponents.html},
pdffile	=	{Rauzy2005-MultiModeIndependentComponents.pdf}
}