Fig. 4From: Formal modeling of a complex adaptive air traffic control systemAircrafts landing/taking off statusesBack to article page