Fig. 2From: Formal modeling of a complex adaptive air traffic control systemThe EB2J tool architecture (Méry 2011)Back to article page