@misc{indiciaea2d9629abef6,
  title = {Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014},
  author = {Martin Becker and Emanuel Regnath and Samarjit Chakraborty},
  year = {2017},
  url = {https://arxiv.org/abs/1707.00945},
  note = {Source identifier: 1707.00945}
}