@inproceedings{legendre2017modelsynchronization,
author	=	{Anthony Legendre and Agn\`es Lanusse and Antoine Rauzy},
title	=	{Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts},
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	=	{35--49},
address	=	{Trento, Italy},
year	=	{2017}
}

