publication venue for Behavioural interoperability to support model-driven systems integration 2010 Specifying overlaps of heterogeneous models for global consistency checking 2010