@misc{indiciaef4addcc68199,
  title = {Functional Requirements-Based Automated Testing for Avionics},
  author = {Youcheng Sun and Martin Brain and Daniel Kroening and Andrew Hawthorn and Thomas Wilson and Florian Schanda and Francisco Javier Guzman Jimenez and Simon Daniel and Chris Bryan and Ian Broster},
  year = {2017},
  url = {https://arxiv.org/abs/1707.01466},
  note = {Source identifier: 1707.01466}
}