[PLM+13] Zhaoguang Peng, Yu Lu, Alice Miller, Chris Johnson and Tingdi Zhao. A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. In Proc. 7th European Symposium on Computer Modelling and Simulation (EMS'13), pages 611-616. 2013. [Uses probabilistic model checking and PRISM to analyse reliability, availability and maintainability properties of a satellite system.]