@article{DR20,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks},
  journal = {AIAA Journal of Aerospace Information Systems (JAIS)},
  publisher = {{AIAA}},
  address = {},
  month = {},
  year = {2020},
  volume = {},
  number = {},
  pages = {},
  issn = {},
  url = {https://doi.org/10.2514/1.I010769},
  preprint = {../papers/DR20.pdf}
}