@article{rauzy2015dft,
author	=	{Antoine Rauzy},
title	=	{Towards a Sound Semantics for Dynamic Fault Trees},
journal	=	{Reliability Engineering and System Safety},
publisher	=	{Elsevier},
volume	=	{142},
pages	=	{184--191},
month	=	{October},
year	=	{2015},
doi	=	{10.1016/j.ress.2015.04.017},
pdffile	=	{Rauzy2015-SemanticsDynamicFaultTrees.pdf}
}