A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System - Zhaoguang Peng; Yu Lu; Miller, Alice; Johnson, Chris; Tingdi Zhao (2013 European Modelling Symposium, 2013)
Keywords: Availability; availability and maintainability (RAM) analysis; continuous time Markov chains (CTMCs); Global Positioning System; Interrupters; Model checking; Probabilistic logic; probabilistic model checking; reliability; satellite systems; Satellites