@inproceedings{mortada2014electricalsystem,
author	=	{Hala Mortada and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{{S}afety {A}ssessment of an {E}lectrical {S}ystem},
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	=	{181--194},
address	=	{Munich, Germany}
}