@article{DR20a,
  author = {Dureja, Rohit and Rozier, Kristin Yvonne},
  title = {Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks},
  journal = {Journal of Aerospace Information Systems},
  volume = {17},
  number = {7},
  pages = {322-335},
  year = {2020},
  doi = {10.2514/1.I010769},
  url = {https://doi.org/10.2514/1.I010769},
  preprint = {../papers/DR20.pdf}
}