Fig. 1From: Formal modeling of a complex adaptive air traffic control systemProcess of development in Event-B (Jarrar and Balouki 2018)Back to article page