Towards Sophisticated Air Traffic Control System Using Formal Methods

Figure 2

The EB2J tool architecture [15].