Anti-Drone and Anti-Autonomy: Achieving Drone Control via System Logic Analysis | IEEE Conference Publication | IEEE Xplore