@inproceedings{batteux2013indin,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy and Le{\"i}la Kloul},
title	=	{The AltaRica 3.0 project for Model-Based Safety Assessment},
booktitle	=	{Proceedings of IEEE International Conference on Industrial Informatics (INDIN)},
publisher	=	{IEEE},
pages	=	{741--746},
year	=	{2013},
month	=	{July},
address	=	{Bochum, Germany},
doi	=	{10.1109/INDIN.2013.6622976}
}