Probabilistic verification of satellite systems for mission critical applications