@inproceedings{rauzy1999compilation,
author	=	{Antoine Rauzy and Romuald Winckell},
title	=	{Compilation of constraint automata into fault trees},
booktitle	=	{Proceedings of the European Safety and Reliability Association Conference, ESREL'99},
publisher	=	{A.A.~Balkema},
volume	=	{2},
isbn	=	{90-5809-111-2},
pages	=	{815--821},
year	=	{1999}
}