@inproceedings{15658,
  author = {Ji Wu and Tao Yue and Shaukat Ali},
  title = {Ensuring Safety of Avionics Software at the Architecture Design Level, An Industrial Case Study},
  year = {2013},
  journal = {The 13th International Conference on Quality Software (QSIC 2013)},
}