Fig. 3From: Formal modeling of a complex adaptive air traffic control systemComplex networkBack to article page