SmartATMS : A simulator for air traffic management