selected publications conference paper Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. HAL (Le Centre pour la Communication Scientifique Directe). 2016