@misc{DR16,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {Comparative Safety Analysis of Wireless Communication Networks in Avionics},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
  publisher = {{IEEE/ACM}},
  address = {Mountain View, California, USA},
  month = oct,
  year = {2016},
  pdf = {../papers/DR16.pdf},
  poster = {../papers/DR16-poster.pdf},
  slides = {../papers/DR16-slides.pdf}
}