@article{rauzy2002modesautomata,
author	=	{Antoine Rauzy},
title	=	{Modes {A}utomata and their {C}ompilation into {F}ault {T}rees},
journal	=	{Reliability Engineering and System Safety},
publisher	=	{Elsevier},
volume	=	{78},
number	=	{1},
pages	=	{1--12},
month	=	{October},
year	=	{2002},
doi	=	{10.1016/S0951-8320(02)00042-X},
abstractfile	=	{Rauzy2002-ModeAutomataCompilationIntoFaultTrees.html},
psfile	=	{Rauzy2002-ModeAutomataCompilationIntoFaultTrees.ps},
pdffile	=	{Rauzy2002-ModeAutomataCompilationIntoFaultTrees.pdf}
}