Towards Sophisticated Air Traffic Control System Using Formal Methods

Figure 1

Process of development in Event-B [13].