@inproceedings{MCGTR15,
    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 = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2015)},
    publisher = {{IEEE/ACM}},
    address = {Austin, Texas, U.S.A},
    editors = {Roope Kaivola and Thomas Wahl},
    month = {September},
    year = {2015},
}