Figure 2
From: Continuity of GNSS as a critical attribute for safety applications in land transport

Redundant system with priority operation of unit A, warm standby B and imperfect diagnostics and switching: (a) schema of the system, (b) Markov state model.