@incollection{GibsonAit-Sadoune14,
year={2014},
isbn={978-3-662-45230-1},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications},
volume={8803},
series={Lecture Notes in Computer Science},
editor={Margaria, Tiziana and Steffen, Bernhard},
doi={10.1007/978-3-662-45231-8_47},
title={Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction},
url={http://dx.doi.org/10.1007/978-3-662-45231-8_47},
publisher={Springer Berlin Heidelberg},
author={Gibson, J.Paul and Ait-Sadoune, Idir},
pages={570-572},
language={English}
}