Systems are getting more and more complex and usually involve many stakeholders. Stakeholders are concerned by different aspects of the system, potentially supported by multiple Domain Specific Modeling Languages (DSMLs). The DSMLs are usually different not only in their syntax but also in their behavioral semantics. In order to provide simulation and/or verification of the overall system, it i...