@article{rauzy2003loopedsystems,
author	=	{Antoine Rauzy},
title	=	{A {N}ew {M}ethodology to {H}andle {B}oolean {M}odels with {L}oops},
journal	=	{IEEE Transactions on Reliability},
publisher	=	{IEEE Reliability Society},
volume	=	{52},
number	=	{1},
pages	=	{96--105},
year	=	{2003},
doi	=	{10.1109/TR.2003.809272},
abstractfile	=	{Rauzy2003-BooleanModelsWithLoops.html},
psfile	=	{Rauzy2003-BooleanModelsWithLoops.ps},
pdffile	=	{Rauzy2003-BooleanModelsWithLoops.pdf}
}