Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system. - Anne-Nynke Blok; Alexei Sharpanskykh; Matthieu Vert (Complex Adapt. Syst. Model., 2018)