AEALV: Accurate and Efficient Aircraft Location Verification for ADS-B | IEEE Journals & Magazine | IEEE Xplore