Object oriented domain model for air traffic control system | lit.salon