[ZR14] Yang Zhao and Kristin Yvonne Rozier. Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems. In Proc. IEEE/ACM 2014 International Conference on Computer-Aided Design (ICCAD'14), IEEE/ACM. 2014. [bib] [Uses probabilistic model checking and PRISM to study safety properties of automated air traffic control systems.]
Downloads:  bib bib
Notes: Additional details/files at http://research.kristinrozier.com/ICCAD14.html.