TY  - RPRT
TI  - Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)
AU  - Jiří Barnat
AU  - Petr Bauch
AU  - Nikola Beneš
AU  - Luboš Brim
AU  - Jan Beran
AU  - Tomáš Kratochvíla
PY  - 2015
UR  - https://arxiv.org/abs/1510.02669
ID  - 1510.02669
ER  -