@misc{indiciaebb2707a6caa0,
  title = {A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods},
  author = {Murray L. Ireland and Ruth Hoffmann and Alice Miller and Gethin Norman and Sandor M. Veres},
  year = {2016},
  url = {https://arxiv.org/abs/1609.00177},
  note = {Source identifier: 1609.00177}
}