@inproceedings{bennaceur2017datacenter,
author	=	{Walid Mokhtar Bennaceur and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{Safety Analysis of a Data Center's Electrical System Using Production Trees},
booktitle	=	{Proceedings of the 5th International Conference on Model-Based Safety Assessment, IMBSA 2017},
editor	=	{Marco Bozzano and Yiannis Papadopoulos},
publisher	=	{Springer},
series	=	{LNCS},
number	=	{10437},
isbn	=	{978-3-319-64118-8},
pages	=	{82--98},
address	=	{Trento, Italy},
year	=	{2017}
}