@misc{indiciae00595ad54389,
  title = {Verification Framework for Control System Functionality of Unmanned Aerial Vehicles},
  author = {Omar A. Jasim and Sandor M. Veres},
  year = {2020},
  url = {https://arxiv.org/abs/2006.10860},
  note = {Source identifier: 2006.10860}
}