@inproceedings{batteux2019synchronization1,
author	=	{Michel Batteux and Jean-Yves Choley and Fa\"ida Mhenni and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Synchronization of system architecture and safety models: a proof of concept},
booktitle	=	{Proceedings of the IEEE 2019 International Symposium on Systems Engineering (ISSE)},
publisher	=	{IEEE},
address	=	{Edinburgh, Scotland},
year	=	{2019}
}