Text this: Formal modeling of a complex adaptive air traffic control system