An agent based approach to the real time air traffic control