A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systemsAndre WindischÉpuisé4,3Prévenez-moi