S. Clarke, P. Torpey, C. Levett, G. Swann, P. Allen et al., Internal report of Thalys" (PDF). Thalys (in French), Planning Considerations: Complex Coordinated Terrorist Attacks, 2015.

K. Papatheodorou, N. Klimis, B. Margaris, K. Ntouros, K. Evangelidis et al., An overview of the EU actions towards natural hazard prevention and management: current status and future trends, Journal of Environmental Protection and Ecology, vol.15, issue.2, pp.433-444, 2014.

A. Boin, M. Rhinhard, and M. Ekengren, Managing transboundary crises: The emergence of European Union capacity, Journal of Contingencies and Crisis Management, vol.22, issue.3, pp.131-142, 2014.

S. Surminski, J. Aerts, D. Alexander, D. Di-bucci, R. Mechler et al., Prevention and mitigation: avoiding and reducing the new and existing risks, Science for disaster risk management 2017: knowing better and losing less, pp.449-464, 2017.

, Recommendations for Crisis Management. Paris: International Union of Railways (UIC), 2017.

, London: BSI Standards Limited. Federal Ministry of the Interior of Germany, National Strategy for Critical Infrastructure Protection, 2009.

M. Jamshidi, Systems of Systems Engineering: Principles and Applications, 2009.

N. Wickramasinghe, C. Is, R. V. Boppana, and M. A. , Healthcare System of Systems, System of Systems Engineering Innovations for the 21st Century, 2008.

A. J. Shenhar and B. Sauser, Systems Engineering Management: The Multidisciplinary Discipline, Handbook of Systems Engineering and Management, pp.117-154, 2009.

V. Mahulkar, S. Mckay, D. E. Adams, and A. R. Chaturvedi, System-ofsystems modeling and simulation of a ship environment with wireless and intelligent maintenance technologies, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol.39, issue.6, pp.1255-1270, 2009.

, Report on System-of-Systems Engineering for Air Force Capability Development, Executive Summary and Annotated Brief, 2005.

, SNCF Open Data -Fréquentation en gares en, 2014.

, Crowd management at station-a good practice guide, Railway Safety & Standard Board, p.14, 2004.

S. Watson and A. D. Little, Management of passengers at Stratford Station in London during a period of substantial growth in patronage, International Railway Safety Council, p.13, 2016.

S. Collart-dutilleul, S. Maurer, P. Bon, and P. Kaul, A passenger flow oriented security and safety approach in international railway stations, Proceedings of 7th Transport Research Arena, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01871939

R. J. Back, On correct refinement of programs, Journal of Computer and System Sciences, vol.23, pp.49-68, 1979.

C. Dominique, P. Gibson, and D. Méry, Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface, Electronic Notes in Theoretical Computer Science, vol.183, pp.39-55, 2007.

I. Ait-ameur-yamine, P. Ait-sadoune, J. P. Castéran, K. Gibson, S. Hacid et al., On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B, ABZ 2018 -6th International Conference on Abstract State Machines