@book{rauzy2020xftabook,
author	=	{Antoine Rauzy},
title	=	{Probabilistic Safety Analysis with XFTA},
publisher	=	{AltaRica Association},
address	=	{Les Essarts le Roi, France},
isbn	=	{978-82-692273-0-7},
year	=	{2020},
pdffile	=	{Rauzy2020-XFTABook.pdf}
}