@article{batteux2017assertions,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{AltaRica 3.0 Assertions: the Why and the Wherefore},
journal	=	{Journal of Risk and Reliability},
publisher	=	{Professional Engineering Publishing},
month	=	{September},
volume	=	{231},
number	=	{6},
pages	=	{691–-700},
year	=	{2017},
doi	=	{10.1177/1748006X17728209},
pdffile	=	{BatteuxProsvirnovaRauzy2017-AltaRica3.0Assertions.pdf}
}