related documents Behavioural interoperability to support model-driven systems integration Conferences Specifying overlaps of heterogeneous models for global consistency checking Conferences
