Text this: Towards Sophisticated Air Traffic Control System Using Formal Methods