Fig. 8From: Formal approach to model complex adaptive computing systemsAir traffic control structureBack to article page