Theory of Automatic Dependent Surveillance–Broadcast Position Verification Using Time Difference of Arrival | IEEE Journals & Magazine | IEEE Xplore