@inproceedings{rauzy2012ftengine,
author	=	{Antoine Rauzy},
title	=	{Anatomy of an Efficient Fault Tree Assessment Engine},
booktitle	=	{Proceedings of International Joint Conference PSAM'11/ESREL'12},
editor	=	{Reino Virolainen},
pages	=	{3333--3343},
isbn	=	{978-162276436-5},
month	=	{June},
year	=	{2012},
address	=	{Helsinki, Finland}
}