  Behavioral models play an essential role in Model-driven engineering (MDE).
Keeping inter-related behavioral models consistent is critical to use them
successfully in MDE. However, consistency checking for behavioral models,
especially in a heterogeneous scenario, is limited. We propose a methodology to
integrate heterogeneous behavioral models to achieve consistency checking in
broader scenarios. It is based on aligning the respective behavioral metamodels
by defining possible inter-model relations which carry behavioral meaning.
Converting the models and their relations to a behavioral formalism enables
analysis of global behavioral consistency using model-checking.
