DAPS based adaptive tracking system for high-assurance air traffic surveillance | IEEE Conference Publication | IEEE Xplore