Visible to the public Integration and Verification of Models with Heterogeneous Semantics