[LMJ+14] Yu Lu, Alice Miller, Chris Johnson, Zhaoguang Peng and Tingdi Zhao. Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker. In Proc. 17th IEEE International Conference on Computational Science and Engineering (CSE'14), IEEE. 2014. [Performs availability analysis of satellite positioning systems for aircraft guidance using probabilistic model checking and PRISM.]