@incollection{GibsonAit-SadounePantel16,
year={2016},
isbn={978-3-319-47165-5},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications},
volume={9952},
series={Lecture Notes in Computer Science},
editor={Margaria, Tiziana and Steffen, Bernhard},
doi={10.1007/978-3-319-47166-2_22},
title={Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction},
url={http://dx.doi.org/10.1007/978-3-319-47166-2_22},
publisher={Springer Berlin Heidelberg},
author={Gibson, J.Paul and A{\"i}t-Sadoune, Idir and Pantel, Marc},
pages={321-324}
}