@inproceedings{NEXTGEN-FMCAD15,
  author    = {Cristian Mattarei and
               Alessandro Cimatti and
               Marco Gario and
               Stefano Tonetta and
               Kristin Y. Rozier},
  title     = {Comparing Different Functional Allocations in Automated Air Traffic Control Design},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
               USA, September 27-30, 2015},
  year      = {2015},
}