@inproceedings{prosvirnova2013compilationfaulttrees,
author	=	{Tatiana Prosvirnova and Antoine Rauzy},
title	=	{AltaRica 3.0 project: Compiling Guarded Transition Systems into Fault Trees},
booktitle	=	{Proceedings of the European Safety and Reliability conference, ESREL 2013},
publisher	=	{CRC Press},
isbn	=	{9781138001237},
year	=	{2013},
month	=	{September-October},
address	=	{Amsterdam, The Netherlands}
}