Formal modeling of a complex adaptive air traffic control system (Complex Adaptive Systems Modeling, 2018)