@inproceedings{batteux2019synchronization2,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Model Synchronization: A Formal Framework for the Management of Heterogeneous Models},
booktitle	=	{Model-Based Safety and Assessment},
editor	=	{Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano},
publisher	=	{Springer},
series	=	{LCNS},
volume	=	{11842},
pages	=	{157--172},
address	=	{Thessaloniki, Greece},
year	=	{2019},
isbn	=	{978-3-030-32871-9},
pdffile	=	{BatteuxProsvirnovaRauzy2019-ModelSynchronization.pdf}
}