Similar Items: Formal modeling of a complex adaptive air traffic control system