A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systemsPrévenez-moi
