Object-oriented requirements analysis for air traffic control systems | IEEE Conference Publication | IEEE Xplore