Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system