@article{myers2008imperfectcoverage,
author	=	{Andrew Myers and Antoine Rauzy},
title	=	{Assessment of Redundant Systems with Imperfect Coverage by means of Binary Decision Diagrams},
journal	=	{Reliability Engineering and System Safety},
publisher	=	{Elsevier},
volume	=	{93},
number	=	{7},
pages	=	{1025--1035},
year	=	{2008},
doi	=	{10.1016/j.ress.2007.05.002},
abstractfile	=	{MyersRauzy2008-AssessmentOfImperfectCoverageWithBDD.html},
pdffile	=	{MyersRauzy2008-AssessmentOfImperfectCoverageWithBDD.pdf}
}