Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris Johnson. How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Rel. Eng. & Sys. Safety, 144:95-116, 2015. [doi]
@article{LuPMZJ15,
title = {How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification},
author = {Yu Lu and Zhaoguang Peng and Alice Miller and Tingdi Zhao and Chris Johnson},
year = {2015},
doi = {10.1016/j.ress.2015.07.020},
url = {http://dx.doi.org/10.1016/j.ress.2015.07.020},
researchr = {https://researchr.org/publication/LuPMZJ15},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {144},
pages = {95-116},
}