Agent-based modeling for performance management in air navigation | IEEE Conference Publication | IEEE Xplore