Dvatar: Simulating the Binary Firmware of Drones | IEEE Journals & Magazine | IEEE Xplore