@article{rauzy2008gts,
author	=	{Antoine Rauzy},
title	=	{Guarded Transition Systems: a new States/Events Formalism for Reliability Studies},
journal	=	{Journal of Risk and Reliability},
publisher	=	{Professional Engineering Publishing},
volume	=	{222},
number	=	{4},
pages	=	{495--505},
year	=	{2008},
doi	=	{10.1243/1748006XJRR177},
abstractfile	=	{Rauzy2008-GuardedTransitionSystemsForReliabilityStudies.html},
pdffile	=	{Rauzy2008-GuardedTransitionSystemsForReliabilityStudies.pdf}
}