@misc{indiciaee4d5d3aa4a24,
  title = {Reasoning About Safety-Critical Information Flow Between Pilot and Computer},
  author = {Seth Ahrenbach},
  year = {2018},
  doi = {10.1007/978-3-319-57288-8\_25.},
  url = {https://arxiv.org/abs/1812.10363},
  note = {Source identifier: 1812.10363}
}