@inproceedings{cherfi2014altarica,
author	=	{Abraham Cherfi and Michel Leeman and Antoine Rauzy},
title	=	{AltaRica 3.0 Based Models for ISO 26262 Automotive Safety Mechanisms},
booktitle	=	{Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014},
year	=	{2014},
month	=	{October},
publisher	=	{Springer Verlag},
series	=	{LNCS},
volume	=	{8822},
pages	=	{123--136},
address	=	{Munich, Germany}
}