This paper proposes a methodology to address the problem of international multi modal hubs crisis management. The analysis starts from the case study of the Brussel airport terrorist attacks to highlight multi-modal and international aspects of this kind of crisis. Then, focusing on railway and airway modes, the contextual and organizational diversity is explained. The need of a global crisis management system is justified, but the challenges ensuing from the different transportation modes are highlighted. The proposition of a modelling approach based on System of Systems formalism is studied. The possibility of building a correct by construction design of common functioning mode is justified using the scientific state of the art of formal methods providing a scientific framework for future technological and organizational innovations assessment.