@misc{indiciae55f1e0660758,
  title = {Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles},
  author = {Martin Becker and Markus Neumair and Alexander Söhn and Samarjit Chakraborty},
  year = {2017},
  doi = {10.1007/978-3-319-24249-1\_32},
  url = {https://arxiv.org/abs/1506.07867},
  note = {Source identifier: 1506.07867}
}