Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles. - Jake Magness; Patrick Sweeney; Scott R. Graham; Nicholas Kovach (Critical Infrastructure Protection, 2020)