@inproceedings{NEXTGEN-CAV16,
  author    = {Marco Gario and
               Alessandro Cimatti and
               Cristian Mattarei and
               Stefano Tonetta and
               Kristin Y. Rozier},
  title     = {Model Checking at Scale: Automated Air Traffic Control Design Space Exploration},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, Ontario, Canada, July 17-23, 2016},t
  year      = {2016},
}