@inproceedings{DBLP:conf/fmcad/MattareiCGTR15,
  author    = {Cristian Mattarei and
               Alessandro Cimatti and
               Marco Gario and
               Stefano Tonetta and
               Kristin Y. Rozier},
  editor    = {Roope Kaivola and
               Thomas Wahl},
  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.},
  pages     = {112--119},
  publisher = {{IEEE}},
  year      = {2015},
  timestamp = {Thu, 07 Jan 2016 15:57:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/MattareiCGTR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}