A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (EMS, 2013)

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. - Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Zhaoguang Peng; Tingdi Zhao (CSE, 2014)

Formal modelling and quantitative analysis of satellite navigation systems. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (CoRR, 2014)

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. - Yu Lu 001; Zhaoguang Peng; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2015)

Uncertainty analysis of phased mission systems with probabilistic timed automata. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001 (ICPHM, 2016)

Risk Assessment of Railway Transportation Systems using Timed Fault Trees. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (Qual. Reliab. Eng. Int., 2016)

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Qual. Reliab. Eng. Int., 2016)