@inproceedings{batteux2018avdancescompilationft,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models},
booktitle	=	{Safe Societies in a Changing World, proceedings of European Safety and Reliability Conference (ESREL 2018)},
editor	=	{Stein Haugen and Anne Barros and Coen van Gulijk and Trond Kongsvik and Jan Erik Vinnem},
publisher	=	{CRC Press},
isbn	=	{9780815386827},
pages	=	{907--914},
address	=	{Trondheim, Norway},
month	=	{June},
year	=	{2018}
}