@article{MDNU16,
      Author = "C{\'{e}}sar Mu{\~{n}}oz and Aaron Dutle and Anthony Narkawicz and Jason Upchurch",
      Title  = "{U}nmanned {A}ircraft {S}ystems in the {N}ational {A}irspace {S}ystem: A Formal Methods Perspective",
      Journal = "ACM SIGLOG News",
      Volume = "3",
      Number = "3",
      Pages="67--76",
      publisher = "Association for Computing Machinery Special Interest Group on Logic and Computation",
      url      = "http://siglog.hosting.acm.org/wp-content/uploads/2016/07/siglog_news_9.pdf",
      month =  "July",
      year = {2016}}