@misc{indiciae1260cac2a7d1,
  title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)},
  author = {Jiří Barnat and Petr Bauch and Nikola Beneš and Luboš Brim and Jan Beran and Tomáš Kratochvíla},
  year = {2015},
  url = {https://arxiv.org/abs/1510.02669},
  note = {Source identifier: 1510.02669}
}