@article{rauzy2011sequencealgebra,
author	=	{Antoine Rauzy},
title	=	{Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees},
journal	=	{Reliability Engineering and System Safety},
publisher	=	{Elsevier},
volume	=	{96},
number	=	{7},
year	=	{2011},
pages	=	{785--792},
doi	=	{10.1016/j.ress.2011.02.005},
pdffile	=	{Rauzy2011-SequenceAlgebra.pdf}
}