@inproceedings{ZR14b,
	Author = {Yang Zhao and Kristin Yvonne Rozier},
        title = "Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems",
	Booktitle = {Proceedings of the 33rd IEEE/ACM International Conference On Computer-Aided Design (ICCAD 2014)},
        publisher = {IEEE/ACM},
        address = {San Jose, California, U.S.A.},
	Editors = {Miroslav Velev},
        month = "November",
	Year = {2014},
    pages       =   "690-695",
}